Searched refs:x86_tmp_pml_paddr (Results 1 – 1 of 1) sorted by relevance
5971 static const paddr_t x86_tmp_pml_paddr[] = { local5992 x86_tmp_pml_paddr[level],6019 tmp_pml[508] = x86_tmp_pml_paddr[PTP_LEVELS - 1] | PTE_P;6029 (x86_tmp_pml_paddr[level - 1] & PTE_FRAME) | PTE_W | PTE_P;6037 return x86_tmp_pml_paddr[PTP_LEVELS - 1] + 508 * sizeof(pd_entry_t);6040 return x86_tmp_pml_paddr[PTP_LEVELS - 1];