IA32_MSR_HWP_REQUEST
uint64 hwpRequest = x86_read_msr(IA32_MSR_HWP_REQUEST);
x86_write_msr(IA32_MSR_HWP_REQUEST, hwpRequest
x86_write_msr(IA32_MSR_HWP_REQUEST, hwpRequest);