Searched refs:xpmap_ptom_masked (Results 1 – 7 of 7) sorted by relevance
696 L4cpu[pl4_pi(KERNTEXTOFF)] = xpmap_ptom_masked(addr) | PTE_P | PTE_W; in xen_bootstrap_tables()697 L4[pl4_pi(KERNTEXTOFF)] = xpmap_ptom_masked(addr) | PTE_P | PTE_W; in xen_bootstrap_tables()706 L3[pl3_pi(KERNTEXTOFF)] = xpmap_ptom_masked(addr) | PTE_P | PTE_W; in xen_bootstrap_tables()735 L3[i] = xpmap_ptom_masked(addr) | PTE_P; in xen_bootstrap_tables()738 L3[3] = xpmap_ptom_masked(addr) | PTE_P; in xen_bootstrap_tables()757 pte[pl1_pi(page)] = xpmap_ptom_masked(page - KERNBASE); in xen_bootstrap_tables()761 if ((xpmap_ptom_masked(page - KERNBASE) >> PAGE_SHIFT) in xen_bootstrap_tables()767 if ((xpmap_ptom_masked(page - KERNBASE) >> PAGE_SHIFT) in xen_bootstrap_tables()820 L2[pl2_pi(cur_page)] = xpmap_ptom_masked(addr) | PTE_W | PTE_P; in xen_bootstrap_tables()829 L4[PDIR_SLOT_PTE] = xpmap_ptom_masked((paddr_t)L4 - KERNBASE) in xen_bootstrap_tables()[all …]
1123 l4_pd_ma = xpmap_ptom_masked(ci->ci_kpm_pdirpa); in cpu_load_pmap()1144 paddr_t l3_pd = xpmap_ptom_masked(ci->ci_pae_l3_pdirpa); in cpu_load_pmap()1210 xpmap_ptom_masked(pmap_kernel()->pm_pdirpa[i]) | PTE_P; in pmap_cpu_init_late()1231 ci->ci_kpm_pdir[PDIR_SLOT_PTE] = xpmap_ptom_masked(ci->ci_kpm_pdirpa) in pmap_cpu_init_late()1245 xpq_queue_pin_l4_table(xpmap_ptom_masked(ci->ci_kpm_pdirpa)); in pmap_cpu_init_late()1251 ci->ci_pae_l3_pdir[3] = xpmap_ptom_masked(ci->ci_kpm_pdirpa) | PTE_P; in pmap_cpu_init_late()1258 xpq_queue_pin_l3_table(xpmap_ptom_masked(ci->ci_pae_l3_pdirpa)); in pmap_cpu_init_late()
149 xpq_queue_pt_switch(xpmap_ptom_masked(val)); in lcr3()
96 xpmap_ptom_masked(paddr_t ppa) in xpmap_ptom_masked() function106 return (xpmap_ptom_masked(ppa) | (ppa & ~PTE_4KFRAME)); in xpmap_ptom()
284 return (pt_entry_t)xpmap_ptom_masked(pa); in pmap_pa2pte()
217 return (pt_entry_t)xpmap_ptom_masked(pa); in pmap_pa2pte()
1350 xpq_queue_pin_l4_table(xpmap_ptom_masked(xen_dummy_user_pgd));2797 xpq_queue_pin_l4_table(xpmap_ptom_masked(pdirpa));2799 xpq_queue_pin_l2_table(xpmap_ptom_masked(pdirpa));2805 xpq_queue_pin_l2_table(xpmap_ptom_masked(pdirpa));2828 xpq_queue_unpin_table(xpmap_ptom_masked(pdirpa));