/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/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 |
|