blob: 8ed04ea072872978c1243c36d283ad31a1ed4447 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#include <xen/config.h>
#include <xen/sched.h>
#include <asm/desc.h>
struct domain idle0_domain = {
domain_id: IDLE_DOMAIN_ID,
domain_flags:DOMF_idle_domain,
refcnt: ATOMIC_INIT(1)
};
struct exec_domain idle0_exec_domain = {
processor: 0,
domain: &idle0_domain
};
struct tss_struct init_tss[NR_CPUS];
/*
* Local variables:
* mode: C
* c-set-style: "BSD"
* c-basic-offset: 4
* tab-width: 4
* indent-tabs-mode: nil
* End:
*/
|