Searched refs:INIT_arch (Results 1 – 1 of 1) sorted by relevance
354 INIT_evtchn = 1u<<3, INIT_gnttab = 1u<<4, INIT_arch = 1u<<5 }; in domain_create() enumerator454 init_status |= INIT_arch; in domain_create()536 if ( init_status & INIT_arch ) in domain_create()
Completed in 3 milliseconds