Home
last modified time | relevance | path

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

/freebsd-14.2/sys/arm64/include/
H A Dmachdep.h37 int boot_el; /* EL the kernel booted from */ member
/freebsd-14.2/sys/arm64/arm64/
H A Dmachdep.c133 static int boot_el; variable
206 return (boot_el == 2 && (hcr_el2 & HCR_E2H) == 0); in has_hyp()
889 boot_el = abp->boot_el; in initarm()
H A Dgenassym.c45 ASSYM(BP_BOOT_EL, offsetof(struct arm64_bootparams, boot_el));