| /trunk/kernel/arch/ia32xen/include/types.h |
|---|
| 26,14 → 26,14 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup xen32 |
| /** @addtogroup ia32xen |
| * @{ |
| */ |
| /** @file |
| */ |
| #ifndef KERN_xen32_TYPES_H_ |
| #define KERN_xen32_TYPES_H_ |
| #ifndef KERN_ia32xen_TYPES_H_ |
| #define KERN_ia32xen_TYPES_H_ |
| #define NULL 0 |
| /trunk/kernel/arch/ia32xen/include/pm.h |
|---|
| 26,14 → 26,14 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup xen32 |
| /** @addtogroup ia32xen |
| * @{ |
| */ |
| /** @file |
| */ |
| #ifndef KERN_xen32_PM_H_ |
| #define KERN_xen32_PM_H_ |
| #ifndef KERN_ia32xen_PM_H_ |
| #define KERN_ia32xen_PM_H_ |
| #define IDT_ITEMS 64 |
| #define GDT_ITEMS 7 |
| /trunk/kernel/arch/ia32xen/include/boot/boot.h |
|---|
| 26,17 → 26,17 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup xen32 |
| /** @addtogroup ia32xen |
| * @{ |
| */ |
| /** @file |
| */ |
| #ifndef KERN_xen32_BOOT_H_ |
| #define KERN_xen32_BOOT_H_ |
| #ifndef KERN_ia32xen_BOOT_H_ |
| #define KERN_ia32xen_BOOT_H_ |
| #define GUEST_CMDLINE 1024 |
| #define VIRT_CPUS 32 |
| #define VIRT_CPUS 32 |
| #define START_INFO_SIZE 1104 |
| #define BOOT_OFFSET 0x0000 |
| /trunk/kernel/arch/ia32xen/include/asm.h |
|---|
| 28,14 → 28,14 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup xen32 |
| /** @addtogroup ia32xen |
| * @{ |
| */ |
| /** @file |
| */ |
| #ifndef KERN_xen32_ASM_H_ |
| #define KERN_xen32_ASM_H_ |
| #ifndef KERN_ia32xen_ASM_H_ |
| #define KERN_ia32xen_ASM_H_ |
| #include <arch/pm.h> |
| #include <arch/types.h> |
| /trunk/kernel/arch/ia32xen/include/hypercall.h |
|---|
| 26,8 → 26,8 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| #ifndef KERN_xen32_HYPERCALL_H_ |
| #define KERN_xen32_HYPERCALL_H_ |
| #ifndef KERN_ia32xen_HYPERCALL_H_ |
| #define KERN_ia32xen_HYPERCALL_H_ |
| #include <arch/types.h> |
| #include <macros.h> |
| /trunk/kernel/arch/ia32xen/include/mm/frame.h |
|---|
| 26,14 → 26,14 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup xen32mm |
| /** @addtogroup ia32xen_mm |
| * @{ |
| */ |
| /** @file |
| */ |
| #ifndef KERN_xen32_FRAME_H_ |
| #define KERN_xen32_FRAME_H_ |
| #ifndef KERN_ia32xen_FRAME_H_ |
| #define KERN_ia32xen_FRAME_H_ |
| #define FRAME_WIDTH 12 /* 4K */ |
| #define FRAME_SIZE (1 << FRAME_WIDTH) |
| /trunk/kernel/arch/ia32xen/include/mm/memory_init.h |
|---|
| 26,15 → 26,15 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup xen32mm |
| /** @addtogroup ia32xen_mm |
| * @{ |
| */ |
| /** @file |
| * @ingroup xen32mm |
| * @ingroup ia32xen_mm |
| */ |
| #ifndef KERN_xen32_MEMORY_INIT_H_ |
| #define KERN_xen32_MEMORY_INIT_H_ |
| #ifndef KERN_ia32xen_MEMORY_INIT_H_ |
| #define KERN_ia32xen_MEMORY_INIT_H_ |
| #include <typedefs.h> |
| /trunk/kernel/arch/ia32xen/include/mm/page.h |
|---|
| 26,14 → 26,14 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup xen32mm |
| /** @addtogroup ia32xen_mm |
| * @{ |
| */ |
| /** @file |
| */ |
| #ifndef KERN_xen32_PAGE_H_ |
| #define KERN_xen32_PAGE_H_ |
| #ifndef KERN_ia32xen_PAGE_H_ |
| #define KERN_ia32xen_PAGE_H_ |
| #include <arch/mm/frame.h> |
| /trunk/kernel/arch/ia32xen/include/mm/asid.h |
|---|
| 26,21 → 26,21 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup xen32mm |
| /** @addtogroup ia32xen_mm |
| * @{ |
| */ |
| /** @file |
| * @ingroup xen32mm |
| * @ingroup ia32xen_mm |
| */ |
| /* |
| * xen32 has no hardware support for address space identifiers. |
| * ia32xen has no hardware support for address space identifiers. |
| * This file is provided to do nop-implementation of mm/asid.h |
| * interface. |
| */ |
| #ifndef KERN_xen32_ASID_H_ |
| #define KERN_xen32_ASID_H_ |
| #ifndef KERN_ia32xen_ASID_H_ |
| #define KERN_ia32xen_ASID_H_ |
| typedef int asid_t; |
| /trunk/kernel/arch/ia32xen/include/mm/tlb.h |
|---|
| 26,14 → 26,14 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup xen32mm |
| /** @addtogroup ia32xen_mm |
| * @{ |
| */ |
| /** @file |
| */ |
| #ifndef KERN_xen32_TLB_H_ |
| #define KERN_xen32_TLB_H_ |
| #ifndef KERN_ia32xen_TLB_H_ |
| #define KERN_ia32xen_TLB_H_ |
| #define tlb_arch_init() |
| #define tlb_print() |
| /trunk/kernel/arch/ia32xen/include/mm/as.h |
|---|
| 26,14 → 26,14 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup xen32mm |
| /** @addtogroup ia32xen_mm |
| * @{ |
| */ |
| /** @file |
| */ |
| #ifndef KERN_xen32_AS_H_ |
| #define KERN_xen32_AS_H_ |
| #ifndef KERN_ia32xen_AS_H_ |
| #define KERN_ia32xen_AS_H_ |
| #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 |
| /trunk/kernel/arch/ia32xen/include/drivers/xconsole.h |
|---|
| 26,14 → 26,14 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup xen32 |
| /** @addtogroup ia32xen |
| * @{ |
| */ |
| /** @file |
| */ |
| #ifndef KERN_xen32_XCONSOLE_H_ |
| #define KERN_xen32_XCONSOLE_H_ |
| #ifndef KERN_ia32xen_XCONSOLE_H_ |
| #define KERN_ia32xen_XCONSOLE_H_ |
| #include <arch/types.h> |