Lines Matching refs:UINT32
804 UINT32 RegisterCount, in whpx_emu_getreg_callback()
826 UINT32 RegisterCount, in whpx_emu_setreg_callback()
1468 UINT32 reg_count = 0; in whpx_vcpu_pre_run()
1897 UINT32 reg_count; in whpx_vcpu_run()
1931 UINT32 reg_count = 5; in whpx_vcpu_run()
1951 cpu_x86_cpuid(env, cpuid_fn, 0, (UINT32 *)&rax, (UINT32 *)&rbx, in whpx_vcpu_run()
1952 (UINT32 *)&rcx, (UINT32 *)&rdx); in whpx_vcpu_run()
2227 UINT32 cpuidExitList[] = {1, 0x80000001, 0x40000000, 0x40000010}; in whpx_init_vcpu()
2233 RTL_NUMBER_OF(cpuidExitList) * sizeof(UINT32)); in whpx_init_vcpu()
2530 UINT32 whpx_cap_size; in whpx_accel_init()
2532 UINT32 cpuidExitList[] = {1, 0x80000001}; in whpx_accel_init()
2664 RTL_NUMBER_OF(cpuidExitList) * sizeof(UINT32)); in whpx_accel_init()