Symbol: interrupt_controller_info
headers/os/drivers/interrupt_controller.h
15
typedef struct interrupt_controller_info {
headers/os/drivers/interrupt_controller.h
18
} interrupt_controller_info;