Lines Matching refs:UINT32

797     UINT32 RegisterCount,  in whpx_emu_getreg_callback()
819     UINT32 RegisterCount,  in whpx_emu_setreg_callback()
1459     UINT32 reg_count = 0;  in whpx_vcpu_pre_run()
1882             UINT32 reg_count;  in whpx_vcpu_run()
1916             UINT32 reg_count = 5;  in whpx_vcpu_run()
1936             cpu_x86_cpuid(env, cpuid_fn, 0, (UINT32 *)&rax, (UINT32 *)&rbx,  in whpx_vcpu_run()
1937                 (UINT32 *)&rcx, (UINT32 *)&rdx);  in whpx_vcpu_run()
2212         UINT32 cpuidExitList[] = {1, 0x80000001, 0x40000000, 0x40000010};  in whpx_init_vcpu()
2218                 RTL_NUMBER_OF(cpuidExitList) * sizeof(UINT32));  in whpx_init_vcpu()
2514     UINT32 whpx_cap_size;  in whpx_accel_init()
2516     UINT32 cpuidExitList[] = {1, 0x80000001};  in whpx_accel_init()
2648         RTL_NUMBER_OF(cpuidExitList) * sizeof(UINT32));  in whpx_accel_init()