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

/libcpu/aarch64/common/
A D	mmu.c	432 rt_ubase_t ttbr0; in rt_hw_aspace_switch() local 436 ttbr0 = CREATE_TTBR0(pgtbl, _aspace_get_asid(aspace)); in rt_hw_aspace_switch() 438 __asm__ volatile("msr ttbr0_el1, %0" ::"r"(ttbr0)); in rt_hw_aspace_switch()

Completed in 4 milliseconds

Last Index update Fri Aug 22 02:45:11 CST 2025