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

/libcpu/aarch64/common/
A D	mmu.c	427 #define CREATE_TTBR0(pgtbl, asid) ((rt_ubase_t)(pgtbl) | (rt_ubase_t)(asid) << MMU_ASID_SHIFT) macro 436 ttbr0 = CREATE_TTBR0(pgtbl, _aspace_get_asid(aspace)); in rt_hw_aspace_switch()

Completed in 20 milliseconds

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