Home
last modified time | relevance | path

Searched refs:TLK_IRQ_FIRED (Results 1 – 2 of 2) sorted by relevance

/trusted-firmware-a-3.7.0/include/bl32/payloads/
Dtlk.h33 #define TLK_IRQ_FIRED TLK_TOS_YIELD_FID(0xE004) macro
/trusted-firmware-a-3.7.0/services/spd/tlkd/
Dtlkd_main.c94 SMC_RET4(s_cpu_context, (uint32_t)TLK_IRQ_FIRED, 0, (uint32_t)irq, 0); in tlkd_interrupt_handler()