Home
last modified time | relevance | path

Searched refs:boot_el (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/arm64/include/
H A Dmachdep.h36 int boot_el; /* EL the kernel booted from */ member
/freebsd/sys/arm64/arm64/
H A Dmachdep.c137 static int boot_el; variable
254 return (boot_el == CURRENTEL_EL_EL2); in has_hyp()
792 boot_el = abp->boot_el; in initarm()
H A Dgenassym.c45 ASSYM(BP_BOOT_EL, offsetof(struct arm64_bootparams, boot_el));