Changeset View

Standalone View

Show First 20 Lines • Show All 262 Lines • ▼ Show 20 Lines	efi_arch_leave(void)
__asm __volatile(		__asm __volatile(
"msr ttbr0_el1, %0 \n"		"msr ttbr0_el1, %0 \n"
"dsb ishst \n"		"dsb ishst \n"
"tlbi vmalle1is \n"		"tlbi vmalle1is \n"
"dsb ish \n"		"dsb ish \n"
"isb \n"		"isb \n"
: : "r"(td->td_proc->p_md.md_l0addr));		: : "r"(td->td_proc->p_md.md_l0addr));
}		}

		int
		efi_rt_arch_call(struct efirt_callinfo *ec)
		{

		panic("not implemented");
		}