CNTKCTL_PL0VCTEN (reference) in projects: seL4-master

Searched refs:CNTKCTL_PL0VCTEN (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/arch/arm/armv/armv8-a/32/
A D	user_access.c	`14 #define CNTKCTL_PL0VCTEN BIT(1) macro 54 v \|= CNTKCTL_PL0VCTEN; in check_export_arch_timer()`
/seL4-master/src/arch/arm/armv/armv7-a/
A D	user_access.c	`14 #define CNTKCTL_PL0VCTEN BIT(1) macro 54 v \|= CNTKCTL_PL0VCTEN; in check_export_arch_timer()`

Completed in 2 milliseconds