Searched refs:gicv3_enable_sre (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/kernel/src/arch/arm/machine/
H A Dgic_v3.c123 static void gicv3_enable_sre(void) function
270 gicv3_enable_sre();

Completed in 21 milliseconds