/trunk/kernel/arch/xen32/include/types.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __TYPES_H__ |
#define __TYPES_H__ |
#ifndef KERN_xen32_TYPES_H_ |
#define KERN_xen32_TYPES_H_ |
#define NULL 0 |
/trunk/kernel/arch/xen32/include/pm.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __PM_H__ |
#define __PM_H__ |
#ifndef KERN_xen32_PM_H_ |
#define KERN_xen32_PM_H_ |
#define IDT_ITEMS 64 |
#define GDT_ITEMS 7 |
/trunk/kernel/arch/xen32/include/boot/boot.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __xen32_BOOT_H__ |
#define __xen32_BOOT_H__ |
#ifndef KERN_xen32_BOOT_H_ |
#define KERN_xen32_BOOT_H_ |
#define GUEST_CMDLINE 1024 |
#define VIRT_CPUS 32 |
/trunk/kernel/arch/xen32/include/asm.h |
---|
34,8 → 34,8 |
/** @file |
*/ |
#ifndef __xen32_ASM_H__ |
#define __xen32_ASM_H__ |
#ifndef KERN_xen32_ASM_H_ |
#define KERN_xen32_ASM_H_ |
#include <arch/pm.h> |
#include <arch/types.h> |
/trunk/kernel/arch/xen32/include/hypercall.h |
---|
26,16 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
#ifndef __xen32_HYPERCALL_H__ |
#define __xen32_HYPERCALL_H__ |
#ifndef KERN_xen32_HYPERCALL_H_ |
#define KERN_xen32_HYPERCALL_H_ |
#include <arch/types.h> |
#include <macros.h> |
typedef uint16_t domid_t; |
typedef struct { |
uint8_t vector; /**< Exception vector */ |
uint8_t flags; /**< 0-3: privilege level; 4: clear event enable */ |
/trunk/kernel/arch/xen32/include/mm/frame.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __xen32_FRAME_H__ |
#define __xen32_FRAME_H__ |
#ifndef KERN_xen32_FRAME_H_ |
#define KERN_xen32_FRAME_H_ |
#define FRAME_WIDTH 12 /* 4K */ |
#define FRAME_SIZE (1 << FRAME_WIDTH) |
/trunk/kernel/arch/xen32/include/mm/memory_init.h |
---|
33,8 → 33,8 |
* @ingroup xen32mm |
*/ |
#ifndef __xen32_MEMORY_INIT_H__ |
#define __xen32_MEMORY_INIT_H__ |
#ifndef KERN_xen32_MEMORY_INIT_H_ |
#define KERN_xen32_MEMORY_INIT_H_ |
#include <typedefs.h> |
/trunk/kernel/arch/xen32/include/mm/page.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __xen32_PAGE_H__ |
#define __xen32_PAGE_H__ |
#ifndef KERN_xen32_PAGE_H_ |
#define KERN_xen32_PAGE_H_ |
#include <arch/mm/frame.h> |
/trunk/kernel/arch/xen32/include/mm/asid.h |
---|
39,8 → 39,8 |
* interface. |
*/ |
#ifndef __xen32_ASID_H__ |
#define __xen32_ASID_H__ |
#ifndef KERN_xen32_ASID_H_ |
#define KERN_xen32_ASID_H_ |
typedef int asid_t; |
/trunk/kernel/arch/xen32/include/mm/tlb.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __xen32_TLB_H__ |
#define __xen32_TLB_H__ |
#ifndef KERN_xen32_TLB_H_ |
#define KERN_xen32_TLB_H_ |
#define tlb_arch_init() |
#define tlb_print() |
/trunk/kernel/arch/xen32/include/mm/as.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __xen32_AS_H__ |
#define __xen32_AS_H__ |
#ifndef KERN_xen32_AS_H_ |
#define KERN_xen32_AS_H_ |
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 |
/trunk/kernel/arch/xen32/include/drivers/xconsole.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __XCONSOLE_H__ |
#define __XCONSOLE_H__ |
#ifndef KERN_xen32_XCONSOLE_H_ |
#define KERN_xen32_XCONSOLE_H_ |
#include <arch/types.h> |
/trunk/kernel/arch/xen32/src/mm/memory_init.c |
---|
48,6 → 48,5 |
printf("Xen memory: %p size: %d (reserved %d)\n", PFN2ADDR(meminfo.start), PFN2ADDR(meminfo.size - meminfo.reserved), PFN2ADDR(meminfo.reserved)); |
} |
/** @} |
*/ |
/trunk/kernel/arch/xen32/src/interrupt.c |
---|
206,4 → 206,3 |
/** @} |
*/ |