check_export_pmu (reference) in projects: seL4-master

Searched refs:check_export_pmu (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/arm/armv/armv8-a/64/
A D	user_access.c	`22 static void check_export_pmu(void) in check_export_pmu() function 62 check_export_pmu(); in armv_init_user_access()`
/seL4-master/src/arch/arm/armv/armv8-a/32/
A D	user_access.c	`25 static void check_export_pmu(void) in check_export_pmu() function 69 check_export_pmu(); in armv_init_user_access()`
/seL4-master/src/arch/arm/armv/armv7-a/
A D	user_access.c	`25 static void check_export_pmu(void) in check_export_pmu() function 69 check_export_pmu(); in armv_init_user_access()`

Completed in 4 milliseconds