source: trunk/packages/xen-3.1/xen-3.1/xen/arch/ia64/xen/idle0_task.c @ 34

#include <xen/config.h>
#include <xen/sched.h>
#include <asm/desc.h>

#define IDLE_VCPU(_v)                \
{                                    \
    processor:   0,                  \
    domain:      0                   \
}

/*
 * Initial task structure.
 *
 * We need to make sure that this is properly aligned due to the way process stacks are
 * handled. This is done by having a special ".data.init_task" section...
 */
union {
        struct {
                struct vcpu task;
        } s;
        unsigned long stack[KERNEL_STACK_SIZE/sizeof (unsigned long)];
} init_task_mem asm ("init_task") __attribute__((section(".data.init_task"))) = {{
        .task = IDLE_VCPU(init_task_mem.s.task)
}};

EXPORT_SYMBOL(init_task);