Searched defs:KERNEL_PMU_IRQ (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/imx31/plat/
H A Dmachine.h30 #define KERNEL_PMU_IRQ INTERRUPT_PMU macro
/seL4-l4v-10.1.1/seL4/include/plat/tx2/plat/
H A Dmachine.h72 #define KERNEL_PMU_IRQ HOST1X_SYNCPT_CPU macro
/seL4-l4v-10.1.1/seL4/include/plat/zynq7000/plat/
H A Dmachine.h116 #define KERNEL_PMU_IRQ INTERRUPT_PMU0 macro
/seL4-l4v-10.1.1/seL4/include/plat/hikey/plat/
H A Dmachine.h183 #define KERNEL_PMU_IRQ INTERRUPT_ACPU_PMUIRQ macro
/seL4-l4v-10.1.1/seL4/include/plat/imx6/plat/
H A Dmachine.h185 #define KERNEL_PMU_IRQ INTERRUPT_CPU_PMU_OV macro
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/
H A Dmachine.h231 #define KERNEL_PMU_IRQ INTERRUPT_PMU_COMM_0 macro
/seL4-l4v-10.1.1/seL4/include/plat/tk1/plat/
H A Dmachine.h230 #define KERNEL_PMU_IRQ INTERRUPT_CPU0_PMU macro
/seL4-l4v-10.1.1/seL4/include/plat/tx1/plat/
H A Dmachine.h258 #define KERNEL_PMU_IRQ INTERRUPT_CPU0_PMU_INTR macro

Completed in 49 milliseconds