Linux Kernel
3.7.1
|
#include <platform.h>
Data Fields | |
uint32_t | xen_cpuid |
uint32_t | max_present |
uint32_t | flags |
uint32_t | apic_id |
uint32_t | acpi_id |
Definition at line 305 of file platform.h.
uint32_t acpi_id |
Definition at line 316 of file platform.h.
uint32_t apic_id |
Definition at line 315 of file platform.h.
uint32_t flags |
Definition at line 314 of file platform.h.
uint32_t max_present |
Definition at line 310 of file platform.h.
uint32_t xen_cpuid |
Definition at line 307 of file platform.h.