Searched defs:vector_id (Results 1 – 2 of 2) sorted by relevance
105 int32_t platform_init_interrupt(uint32_t vector_id, void *isr_data) in platform_init_interrupt()130 int32_t platform_deinit_interrupt(uint32_t vector_id) in platform_deinit_interrupt()156 void platform_notify(uint32_t vector_id) in platform_notify()218 int32_t platform_interrupt_enable(uint32_t vector_id) in platform_interrupt_enable()243 int32_t platform_interrupt_disable(uint32_t vector_id) in platform_interrupt_disable()
508 void env_register_isr(uint32_t vector_id, void *data) in env_register_isr()524 void env_unregister_isr(uint32_t vector_id) in env_unregister_isr()541 void env_enable_interrupt(uint32_t vector_id) in env_enable_interrupt()554 void env_disable_interrupt(uint32_t vector_id) in env_disable_interrupt()
