Searched refs:cpuidExitList (Results 1 – 1 of 1) sorted by relevance
2222 UINT32 cpuidExitList[] = {1, 0x80000001, 0x40000000, 0x40000010}; in whpx_init_vcpu() local2227 cpuidExitList, in whpx_init_vcpu()2228 RTL_NUMBER_OF(cpuidExitList) * sizeof(UINT32)); in whpx_init_vcpu()2527 UINT32 cpuidExitList[] = {1, 0x80000001}; in whpx_accel_init() local2658 cpuidExitList, in whpx_accel_init()2659 RTL_NUMBER_OF(cpuidExitList) * sizeof(UINT32)); in whpx_accel_init()