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

/seL4-l4v-master/seL4/src/arch/arm/armv/armv7-a/
H A Duser_access.c44 static void check_export_arch_timer(void) function
68 check_export_arch_timer();
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/32/
H A Duser_access.c44 static void check_export_arch_timer(void) function
68 check_export_arch_timer();
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/64/
H A Duser_access.c31 static void check_export_arch_timer(void) function
63 check_export_arch_timer();
/seL4-l4v-master/seL4/src/drivers/timer/
H A Dgeneric_timer.c70 check_export_arch_timer();

Completed in 48 milliseconds