Searched refs:PPSSINTC_IRQ_OFFSET (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/ | ||
H A D | intc.c | 83 #define PPSSINTC_IRQ_OFFSET 0x000 macro 122 irq = (ppss_intc_t*)((uintptr_t)vaddr[0] + PPSSINTC_IRQ_OFFSET); |
Completed in 75 milliseconds