Searched refs:tlkd_interrupt_handler (Results 1 – 1 of 1) sorted by relevance
| /trusted-firmware-a-latest/services/spd/tlkd/ | ||
| D | tlkd_main.c | 56 static uint64_t tlkd_interrupt_handler(uint32_t id, in tlkd_interrupt_handler() function |
Searched refs:tlkd_interrupt_handler (Results 1 – 1 of 1) sorted by relevance
| /trusted-firmware-a-latest/services/spd/tlkd/ | ||
| D | tlkd_main.c | 56 static uint64_t tlkd_interrupt_handler(uint32_t id, in tlkd_interrupt_handler() function |