Searched refs:kpptr_to_paddr (Results 1 - 10 of 10) sorted by relevance
| /seL4-refos-master/kernel/include/plat/pc99/plat/32/plat_mode/machine/ |
| H A D | hardware.h | 89 #define kpptr_to_paddr(x) pptr_to_paddr(x) macro
|
| /seL4-refos-master/kernel/include/plat/pc99/plat/64/plat_mode/machine/ |
| H A D | hardware.h | 131 static inline paddr_t CONST kpptr_to_paddr(void *pptr)
|
| /seL4-refos-master/kernel/src/arch/x86/kernel/ |
| H A D | smp_sys.c | 99 setCurrentVSpaceRoot(kpptr_to_paddr(X86_KERNEL_VSPACE_ROOT), 0);
|
| H A D | boot_sys.c | 158 setCurrentVSpaceRoot(kpptr_to_paddr(X86_KERNEL_VSPACE_ROOT), 0);
171 boot_mem_reuse_p_reg.end = kpptr_to_paddr(ki_boot_end);
346 boot_state.ki_p_reg.end = kpptr_to_paddr(ki_end);
|
| /seL4-refos-master/kernel/src/arch/riscv/kernel/ |
| H A D | boot.c | 82 res_reg[0].start = (pptr_t)paddr_to_pptr(kpptr_to_paddr((void *)KERNEL_ELF_BASE));
83 res_reg[0].end = (pptr_t)paddr_to_pptr(kpptr_to_paddr((void *)ki_end));
204 kpptr_to_paddr((void *)KERNEL_ELF_BASE), kpptr_to_paddr(ki_boot_end)
|
| H A D | vspace.c | 137 pte_next(kpptr_to_paddr(kernel_image_level2_log_buffer_pt), false);
145 pte_next(kpptr_to_paddr(kernel_image_level2_pt), false);
147 pte_next(kpptr_to_paddr(kernel_image_level2_pt), false);
157 pte_next(kpptr_to_paddr(kernel_image_level2_dev_pt), false);
305 setVSpaceRoot(kpptr_to_paddr(&kernel_root_pageTable), 0);
586 setVSpaceRoot(kpptr_to_paddr(&kernel_root_pageTable), 0);
595 setVSpaceRoot(kpptr_to_paddr(&kernel_root_pageTable), 0);
|
| /seL4-refos-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 67 kpptr_to_paddr(x64KSKernelPDPT),
116 kpptr_to_paddr(x64KSKernelPD),
127 kpptr_to_paddr(x64KSKernelPT),
152 kpptr_to_paddr(x64KSKernelPDPT),
165 kpptr_to_paddr(&x64KSKernelPDs[pd_index][0]),
177 kpptr_to_paddr(&x64KSKernelPDs[0][0]),
214 kpptr_to_paddr(&x64KSKernelPDs[BIT(PDPT_INDEX_BITS) - 1][0]),
226 kpptr_to_paddr(x64KSKernelPT),
265 kpptr_to_paddr(x64KSSKIMPDPT),
276 kpptr_to_paddr(x64KSSKIMP
[all...] |
| /seL4-refos-master/kernel/include/arch/x86/arch/64/mode/ |
| H A D | machine.h | 27 return cr3_new(kpptr_to_paddr(x64KSKernelPML4), 0);
61 assert(cr3_get_pml4_base_address(cr3) == kpptr_to_paddr(x64KSKernelPML4));
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/ |
| H A D | machine.h | 260 static inline paddr_t CONST kpptr_to_paddr(void *pptr) function
|
| /seL4-refos-master/kernel/src/arch/x86/object/ |
| H A D | vcpu.c | 442 vmwrite(VMX_HOST_CR3, makeCR3(kpptr_to_paddr(x64KSKernelPML4), 0).words[0]);
459 vmwrite(VMX_CONTROL_MSR_ADDRESS, (word_t)kpptr_to_paddr(&msr_bitmap_region));
1027 if (vmxon(kpptr_to_paddr(&vmxon_region))) {
1318 ept_root = kpptr_to_paddr(null_ept_space);
1326 ept_root = kpptr_to_paddr(null_ept_space);
|
Completed in 111 milliseconds