Searched refs:whpx_cr8_to_apic_tpr (Results 1 – 1 of 1) sorted by relevance
376 static uint64_t whpx_cr8_to_apic_tpr(uint64_t cr8) in whpx_cr8_to_apic_tpr() function688 cpu_set_apic_tpr(x86_cpu->apic_state, whpx_cr8_to_apic_tpr(tpr)); in whpx_get_registers()1594 cpu_set_apic_tpr(x86_cpu->apic_state, whpx_cr8_to_apic_tpr(vcpu->tpr)); in whpx_vcpu_post_run()