Searched refs:map_kernel_devices (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/
H A Dhardware.c51 map_kernel_devices(void) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/machine/
H A Dhardware.c53 map_kernel_devices(void) function
/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/machine/
H A Dhardware.h64 void map_kernel_devices(void);
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/
H A Dmachine.h25 void map_kernel_devices(void);
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c327 map_kernel_devices();
435 map_kernel_devices();
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c322 map_kernel_devices();

Completed in 101 milliseconds