Searched defs:tcr_el1 (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/kernel/arch/armv8/boot/
H A Dboot_generic.c166 armv8_TCR_EL1_t tcr_el1 = armv8_TCR_EL1_rd(NULL); local
[all...]

Completed in 32 milliseconds