Home
last modified time | relevance | path

Searched defs:irq_name (Results 1 – 3 of 3) sorted by relevance

/DragonOS-0.1.7/kernel/src/arch/x86_64/
Dx86_64_ipi.c40 uint64_t param, hardware_intr_controller *controller, char *irq_name) in ipi_regiserIPI()
/DragonOS-0.1.7/kernel/src/exception/
Dirq.c189 hardware_intr_controller *controller, char *irq_name) in irq_register()
Dirq.h129 char *irq_name; member