src/system/boot/platform/efi/arch/arm64/aarch64.h

121

switch (arch_exception_level())

src/system/boot/platform/efi/arch/arm64/aarch64.h

137

switch (arch_exception_level())

src/system/boot/platform/efi/arch/arm64/aarch64.h

168

el = arch_exception_level();

src/system/boot/platform/efi/arch/arm64/aarch64.h

47

switch (arch_exception_level())

src/system/boot/platform/efi/arch/arm64/aarch64.h

70

switch (arch_exception_level())

src/system/boot/platform/efi/arch/arm64/aarch64.h

93

switch (arch_exception_level())

src/system/boot/platform/efi/arch/arm64/arch_cache.cpp

20

_arch_mmu_invalidate_tlb_all(arch_exception_level());

src/system/boot/platform/efi/arch/arm64/arch_mmu.cpp

149

_arch_mmu_invalidate_tlb_all(arch_exception_level());

src/system/boot/platform/efi/arch/arm64/arch_mmu.cpp

231

if (arch_exception_level() == 1)

src/system/boot/platform/efi/arch/arm64/arch_mmu.cpp

312

if (arch_exception_level() == 1) {

src/system/boot/platform/efi/arch/arm64/arch_mmu.cpp

315

} else if (arch_exception_level() == 2) {

src/system/boot/platform/efi/arch/arm64/arch_mmu.h

144

el = arch_exception_level();

src/system/boot/platform/efi/arch/arm64/arch_start.cpp

148

uint64 el = arch_exception_level();

src/system/boot/platform/efi/arch/arm64/arch_start.cpp

52

uint64 el = arch_exception_level();