Searched refs:sPICCookie (Results 1 – 2 of 2) sorted by relevance
53 static void *sPICCookie; variable63 sPIC->enable_io_interrupt(sPICCookie, irq, IRQ_TYPE_LEVEL); in arch_int_enable_io_interrupt()73 sPIC->disable_io_interrupt(sPICCookie, irq); in arch_int_disable_io_interrupt()190 while ((irq = sPIC->acknowledge_io_interrupt(sPICCookie)) >= 0) { in ppc_exception_entry()534 sPICCookie = driverCookie; in arch_int_init_post_device_manager()
283 while ((irq = sPIC->acknowledge_io_interrupt(sPICCookie)) >= 0) { in m68k_exception_entry()569 sPICCookie = driverCookie; in arch_int_init_post_device_manager()