Searched refs:whpx_apic_set_tpr (Results 1 – 1 of 1) sorted by relevance
116 static void whpx_apic_set_tpr(APICCommonState *s, uint8_t val) in whpx_apic_set_tpr() function262 k->set_tpr = whpx_apic_set_tpr; in whpx_apic_class_init()