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

/barrelfish-2018-10-04/kernel/arch/armv8/boot/
H A Dboot_generic.c304 static void configure_sctlr(void) function
517 configure_sctlr();

Completed in 40 milliseconds