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

/seL4-l4v-master/seL4/src/arch/arm/armv/armv7-a/
H A Duser_access.c25 static void check_export_pmu(void) function
63 check_export_pmu();
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/32/
H A Duser_access.c25 static void check_export_pmu(void) function
63 check_export_pmu();
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/64/
H A Duser_access.c22 static void check_export_pmu(void) function
62 check_export_pmu();

Completed in 86 milliseconds