Searched defs:irq_name (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()
127 char *irq_name; member