TTBR_BADDR
paddr_t pte_addr = cpu_kh->kh_ttbr1 & TTBR_BADDR;
__SHIFTIN(pmap_l0pa(pm), TTBR_BADDR);
pa = ttbr & TTBR_BADDR;
pm->pm_l0_pa = __SHIFTOUT(reg_ttbr1_el1_read(), TTBR_BADDR);
l0 = (pd_entry_t *)(reg_ttbr0_el1_read() & TTBR_BADDR);
l0 = (pd_entry_t *)(reg_ttbr1_el1_read() & TTBR_BADDR);
pa = (reg_ttbr0_el1_read() & TTBR_BADDR);
pa = (reg_ttbr1_el1_read() & TTBR_BADDR);
__SHIFTIN(pmap_l0pa(pm), TTBR_BADDR);