Searched refs:tmp_pml (Results 1 – 1 of 1) sorted by relevance
5979 pd_entry_t *tmp_pml, *kernel_pml; local6001 tmp_pml = (void *)x86_tmp_pml_vaddr[level];6002 memset(PAGE_ALIGNED(tmp_pml), 0, PAGE_SIZE);6007 tmp_pml = (void *)x86_tmp_pml_vaddr[PTP_LEVELS - 1];6008 memcpy(PAGE_ALIGNED(tmp_pml), PAGE_ALIGNED(kernel_pml), PAGE_SIZE);6019 tmp_pml[508] = x86_tmp_pml_paddr[PTP_LEVELS - 1] | PTE_P;6020 tmp_pml[509] = 0;6021 tmp_pml[510] = 0;6022 tmp_pml[511] = pmap_pdirpa(pmap_kernel(), PDIR_SLOT_KERN) | PTE_P;6026 tmp_pml = (void *)x86_tmp_pml_vaddr[level];[all …]