#define VOID
Definition BasicTypes.h:33
unsigned int UINT32
Definition BasicTypes.h:48
VOID CounterEmulateRdpmc(VIRTUAL_MACHINE_STATE *VCpu)
Emulate RDPMC.
Definition Counters.c:62
VOID CounterEmulateRdtscp(VIRTUAL_MACHINE_STATE *VCpu)
Emulate RDTSCP.
Definition Counters.c:43
VOID CounterSetPreemptionTimer(UINT32 TimerValue)
Set the timer value for preemption timer.
Definition Counters.c:80
VOID CounterEmulateRdtsc(VIRTUAL_MACHINE_STATE *VCpu)
Emulate RDTSC.
Definition Counters.c:21
VOID CounterClearPreemptionTimer()
Clears the preemption timer.
Definition Counters.c:94
The status of each core after and before VMX.
Definition State.h:290