Searched defs:cpuidExitList (Results 1 – 1 of 1) sorted by relevance
2222 UINT32 cpuidExitList[] = {1, 0x80000001, 0x40000000, 0x40000010}; in whpx_init_vcpu() local2527 UINT32 cpuidExitList[] = {1, 0x80000001}; in whpx_accel_init() local