Searched refs:dest_shorthand (Results 1 – 3 of 3) sorted by relevance
227 uint8_t dest_shorthand = \ in dump_apic_icr() local239 shorthand2str(dest_shorthand)); in dump_apic_icr()242 if (dest_shorthand != 0) { in dump_apic_icr()
659 uint8_t trigger_mode, uint8_t dest_shorthand) in apic_deliver() argument673 switch (dest_shorthand) { in apic_deliver()
1786 int dest_shorthand = in whpx_vcpu_run() local1817 switch (dest_shorthand) { in whpx_vcpu_run()