HomeSort by: relevance | last modified time | path
    Searched refs:TTBR_BADDR (Results 1 - 6 of 6) sorted by relevancy

  /src/sys/arch/aarch64/aarch64/
aarch64_tlb.c 57 __SHIFTIN(pmap_l0pa(pm), TTBR_BADDR);
pmapboot.c 92 pa = (reg_ttbr0_el1_read() & TTBR_BADDR);
96 pa = (reg_ttbr1_el1_read() & TTBR_BADDR);
257 l0 = (pd_entry_t *)(reg_ttbr0_el1_read() & TTBR_BADDR);
262 l0 = (pd_entry_t *)(reg_ttbr1_el1_read() & TTBR_BADDR);
pmap_machdep.c 425 pm->pm_l0_pa = __SHIFTOUT(reg_ttbr1_el1_read(), TTBR_BADDR);
546 __SHIFTIN(pm->pm_l0_pa, TTBR_BADDR);
db_interface.c 483 pa = ttbr & TTBR_BADDR;
  /src/lib/libkvm/
kvm_aarch64.c 125 paddr_t pte_addr = cpu_kh->kh_ttbr1 & TTBR_BADDR;
  /src/sys/arch/aarch64/include/
armreg.h 1235 #define TTBR_BADDR __BITS(47,0)

Completed in 17 milliseconds