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