Searched refs:vpic_update_int_output (Results 1 – 2 of 2) sorted by relevance
95 static void vpic_update_int_output(struct hvm_hw_vpic *vpic) in vpic_update_int_output() function127 vpic_update_int_output(vpic); in vpic_update_int_output()134 vpic_update_int_output(vpic); in vpic_update_int_output()154 vpic_update_int_output(vpic); in __vpic_intack()261 vpic_update_int_output(vpic); in vpic_ioport_write()304 vpic_update_int_output(vpic); in vpic_ioport_write()464 vpic_update_int_output(vpic); in vpic_irq_positive_edge()482 vpic_update_int_output(vpic); in vpic_irq_negative_edge()
219 0x0008400b CPU%(cpu)d %(tsc)d (+%(reltsc)8d) vpic_update_int_output [ int_output = %(1)d, is_mas…
Completed in 3 milliseconds