check_export_arch_timer (reference) in projects: seL4-master

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

/seL4-master/src/arch/arm/armv/armv8-a/64/
A D	user_access.c	`31 static void check_export_arch_timer(void) in check_export_arch_timer() function 63 check_export_arch_timer(); in armv_init_user_access()`
/seL4-master/src/arch/arm/armv/armv8-a/32/
A D	user_access.c	`44 static void check_export_arch_timer(void) in check_export_arch_timer() function 74 check_export_arch_timer(); in armv_init_user_access()`
/seL4-master/src/arch/arm/armv/armv7-a/
A D	user_access.c	`44 static void check_export_arch_timer(void) in check_export_arch_timer() function 74 check_export_arch_timer(); in armv_init_user_access()`
/seL4-master/src/drivers/timer/
A D	generic_timer.c	`74 check_export_arch_timer(); in save_virt_timer()`

Completed in 5 milliseconds