/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> |
/trunk/kernel/arch/ia32xen/src/xen32.c |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32 |
/** @addtogroup ia32xen |
* @{ |
*/ |
/** @file |
/trunk/kernel/arch/ia32xen/src/pm.c |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32 |
/** @addtogroup ia32xen |
* @{ |
*/ |
/** @file |
47,7 → 47,7 |
#include <interrupt.h> |
/* |
* Early xen32 configuration functions and data structures. |
* Early ia32xen configuration functions and data structures. |
*/ |
/* |
/trunk/kernel/arch/ia32xen/src/smp/mps.c |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32 |
/** @addtogroup ia32xen |
* @{ |
*/ |
/** @file |
/trunk/kernel/arch/ia32xen/src/smp/smp.c |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32 |
/** @addtogroup ia32xen |
* @{ |
*/ |
/** @file |
/trunk/kernel/arch/ia32xen/src/smp/ipi.c |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32 |
/** @addtogroup ia32xen |
* @{ |
*/ |
/** @file |
/trunk/kernel/arch/ia32xen/src/smp/apic.c |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32 |
/** @addtogroup ia32xen |
* @{ |
*/ |
/** @file |
/trunk/kernel/arch/ia32xen/src/proc/scheduler.c |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32proc |
/** @addtogroup ia32xen_proc |
* @{ |
*/ |
/** @file |
/trunk/kernel/arch/ia32xen/src/proc/task.c |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32proc |
/** @addtogroup ia32xen_proc |
* @{ |
*/ |
/** @file |
/trunk/kernel/arch/ia32xen/src/proc/thread.c |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32proc |
/** @addtogroup ia32xen_proc |
* @{ |
*/ |
/** @file |
34,7 → 34,7 |
#include <proc/thread.h> |
/** Perform xen32 specific thread initialization. |
/** Perform ia32xen specific thread initialization. |
* |
* @param t Thread to be initialized. |
*/ |
/trunk/kernel/arch/ia32xen/src/mm/tlb.c |
---|
26,11 → 26,11 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32mm |
/** @addtogroup ia32xen_mm |
* @{ |
*/ |
/** @file |
* @ingroup xen32mm |
* @ingroup ia32xen_mm |
*/ |
#include <mm/tlb.h> |
/trunk/kernel/arch/ia32xen/src/mm/as.c |
---|
26,11 → 26,11 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32mm |
/** @addtogroup ia32xen_mm |
* @{ |
*/ |
/** @file |
* @ingroup xen32mm |
* @ingroup ia32xen_mm |
*/ |
#include <arch/mm/as.h> |
/trunk/kernel/arch/ia32xen/src/mm/frame.c |
---|
26,11 → 26,11 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32mm |
/** @addtogroup ia32xen_mm |
* @{ |
*/ |
/** @file |
* @ingroup xen32mm |
* @ingroup ia32xen_mm |
*/ |
#include <mm/frame.h> |
/trunk/kernel/arch/ia32xen/src/mm/memory_init.c |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32mm |
/** @addtogroup ia32xen_mm |
* @{ |
*/ |
/** @file |
/trunk/kernel/arch/ia32xen/src/mm/page.c |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32mm |
/** @addtogroup ia32xen_mm |
* @{ |
*/ |
/** @file |
/trunk/kernel/arch/ia32xen/src/userspace.c |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32 |
/** @addtogroup ia32xen |
* @{ |
*/ |
/** @file |
/trunk/kernel/arch/ia32xen/src/interrupt.c |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32interrupt |
/** @addtogroup ia32xen_interrupt |
* @{ |
*/ |
/** @file |
/trunk/kernel/arch/ia32xen/src/drivers/xconsole.c |
---|
26,12 → 26,12 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup xen32 |
/** @addtogroup ia32xen |
* @{ |
*/ |
/** |
* @file |
* @brief Xen32 console driver. |
* @brief ia32xen console driver. |
*/ |
#include <arch/drivers/xconsole.h> |