Home
last modified time | relevance | path

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

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

Completed in 5 milliseconds