Searched refs:whpx_apic_tpr_to_cr8 (Results 1 – 1 of 1) sorted by relevance
370 static uint64_t whpx_apic_tpr_to_cr8(uint64_t tpr) in whpx_apic_tpr_to_cr8() function408 vcpu->tpr = whpx_apic_tpr_to_cr8(cpu_get_apic_tpr(x86_cpu->apic_state)); in whpx_set_registers()634 vcpu->tpr = whpx_apic_tpr_to_cr8( in whpx_get_registers()1540 tpr = whpx_apic_tpr_to_cr8(cpu_get_apic_tpr(x86_cpu->apic_state)); in whpx_vcpu_pre_run()