armv_init_user_access (reference) in projects: seL4-master

Searched refs:armv_init_user_access (Results 1 – 5 of 5) sorted by relevance

/seL4-master/include/arch/arm/arch/
A D	user_access.h	`8 void armv_init_user_access(void);`
/seL4-master/src/arch/arm/armv/armv8-a/64/
A D	user_access.c	`60 void armv_init_user_access(void) in armv_init_user_access() function`
/seL4-master/src/arch/arm/armv/armv8-a/32/
A D	user_access.c	`63 void armv_init_user_access(void) in armv_init_user_access() function`
/seL4-master/src/arch/arm/armv/armv7-a/
A D	user_access.c	`63 void armv_init_user_access(void) in armv_init_user_access() function`
/seL4-master/src/arch/arm/kernel/
A D	boot.c	`235 armv_init_user_access(); in init_cpu()`

Completed in 8 milliseconds