Searched refs:cpu_ipp (Results 1 – 1 of 1) sorted by relevance
1262 volatile uint16_t *cpu_ipp = &cpu->cpu_m.mcpu_intr_pending; in xen_callback_handler() local1284 pending_ints = *cpu_ipp; in xen_callback_handler()1370 *cpu_ipp = pending_ints; in xen_callback_handler()1385 pri = bsrw_insn(*cpu_ipp); in xen_callback_handler()1406 *cpu_ipp &= ~(1 << pri); in xen_callback_handler()1442 pri = bsrw_insn(*cpu_ipp); in xen_callback_handler()