Home
last modified time | relevance | path

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

/Zephyr-latest/arch/arm64/include/
Dkernel_arch_func.h53 extern void z_arm64_set_ttbr0(uint64_t ttbr0);
/Zephyr-latest/include/zephyr/arch/arm64/
Darm_mmu.h135 uint64_t ttbr0; member
Dlib_helpers.h92 MAKE_REG_HELPER_EL123(ttbr0)
/Zephyr-latest/include/zephyr/xen/public/
Darch-arm.h300 uint64_t ttbcr, ttbr0, ttbr1; member
/Zephyr-latest/arch/arm64/core/
Dmmu.c1192 static uint16_t get_asid(uint64_t ttbr0) in get_asid() argument
1194 return ttbr0 >> TTBR_ASID_SHIFT; in get_asid()
1231 domain_ptables->ttbr0 = (((uint64_t)asid) << TTBR_ASID_SHIFT) | in arch_mem_domain_init()
1353 uint64_t new_ttbr0 = ptables->ttbr0; in z_arm64_swap_ptables()