arch_exception_level
switch (arch_exception_level())
switch (arch_exception_level())
el = arch_exception_level();
switch (arch_exception_level())
switch (arch_exception_level())
switch (arch_exception_level())
_arch_mmu_invalidate_tlb_all(arch_exception_level());
_arch_mmu_invalidate_tlb_all(arch_exception_level());
if (arch_exception_level() == 1)
if (arch_exception_level() == 1) {
} else if (arch_exception_level() == 2) {
el = arch_exception_level();
uint64 el = arch_exception_level();
uint64 el = arch_exception_level();