2 structs | x86_32 x86_64 ia64
4 start_info | 1104 1152 1152
7 cpu_user_regs | 68 200 496
8 xen_ia64_boot_param | - - 96
10 vcpu_extra_regs | - - 536
11 vcpu_guest_context | 2800 5168 1056
12 arch_vcpu_info | 24 16 0
13 vcpu_time_info | 32 32 32
15 arch_shared_info | 268 280 272
16 shared_info | 2584 3368 4384