| Home | Sort by: relevance | last modified time | path |
| /src/sys/arch/xen/x86/ | |
| cpu.c | 1121 paddr_t l4_pd_ma; local in function:cpu_load_pmap 1123 l4_pd_ma = xpmap_ptom_masked(ci->ci_kpm_pdirpa); 1136 xpq_queue_pte_update(l4_pd_ma + i * sizeof(pd_entry_t), |