Home
last modified time | relevance | path

Searched defs:armv_enableOverflowIRQ (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/arch/arm/armv/armv8-a/32/armv/
A Dbenchmark.h19 static inline void armv_enableOverflowIRQ(void) in armv_enableOverflowIRQ() function
/seL4-master/include/arch/arm/armv/armv7-a/armv/
A Dbenchmark.h19 static inline void armv_enableOverflowIRQ(void) in armv_enableOverflowIRQ() function
/seL4-master/include/arch/arm/armv/armv8-a/64/armv/
A Dbenchmark.h19 static inline void armv_enableOverflowIRQ(void) in armv_enableOverflowIRQ() function

Completed in 7 milliseconds