Searched refs:boot_pml4 (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/kernel/arch/k1om/
H A Dinit.c196 static union x86_64_pdir_entry boot_pml4[PTABLE_SIZE] variable in typeref:union:x86_64_pdir_entry
270 paging_x86_64_map_table(&boot_pml4[X86_64_PML4_BASE(base)], (lpaddr_t)boot_pdpt);
276 paging_x86_64_map_table(&boot_pml4[X86_64_PML4_BASE(vbase)], (lpaddr_t)boot_pdpt_hi);
283 paging_x86_64_map_table(&boot_pml4[0], (lpaddr_t)boot_pdpt);
297 paging_x86_64_map_table(&boot_pml4[X86_64_PML4_BASE(local_phys_to_mem(XEON_PHI_SBOX_BASE))],
308 paging_x86_64_context_switch((lpaddr_t)boot_pml4);
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dinit.c188 static union x86_64_pdir_entry boot_pml4[PTABLE_SIZE] variable in typeref:union:x86_64_pdir_entry
255 paging_x86_64_map_table(&boot_pml4[X86_64_PML4_BASE(base)], (lpaddr_t)boot_pdpt);
261 paging_x86_64_map_table(&boot_pml4[X86_64_PML4_BASE(vbase)], (lpaddr_t)boot_pdpt_hi);
268 paging_x86_64_map_table(&boot_pml4[0], (lpaddr_t)boot_pdpt);
277 paging_x86_64_context_switch((lpaddr_t)boot_pml4);
/barrelfish-2018-10-04/tools/elver/
H A Dboot.S63 mov $boot_pml4, %eax
H A Delver.c119 union pdir_entry boot_pml4[PTABLE_SIZE] variable in typeref:union:pdir_entry
296 paging_map_table(&boot_pml4[PML4_BASE(0)], (uint64_t)(uint32_t)pdpt);

Completed in 42 milliseconds