Searched defs:controller (Results 1 – 3 of 3) sorted by relevance
40 uint64_t param, hardware_intr_controller *controller, char *irq_name) in ipi_regiserIPI()
153 hardware_intr_controller *controller, char *irq_name) in irq_register()
125 hardware_intr_controller *controller; member