Searched defs:xen_start_flags (Results 1 – 3 of 3) sorted by relevance
71 uint32_t xen_start_flags __attribute__((section(".data"))) = 0; variable
62 uint32_t xen_start_flags; variable