Searched refs:vaddr_base (Results 1 – 2 of 2) sorted by relevance
| /hypervisor/include/arch/x86/asm/ |
| A D | pgtable.h | 551 uint64_t vaddr_base, uint64_t size,
553 void pgtable_modify_or_del_map(uint64_t *pml4_page, uint64_t vaddr_base,
|
| /hypervisor/arch/x86/ |
| A D | pagetable.c | 357 void pgtable_modify_or_del_map(uint64_t *pml4_page, uint64_t vaddr_base, uint64_t size, in pgtable_modify_or_del_map() argument
360 uint64_t vaddr = round_page_up(vaddr_base); in pgtable_modify_or_del_map()
551 void pgtable_add_map(uint64_t *pml4_page, uint64_t paddr_base, uint64_t vaddr_base, in pgtable_add_map() argument
558 …G_LEVEL_MMU, "%s, paddr 0x%lx, vaddr 0x%lx, size 0x%lx\n", __func__, paddr_base, vaddr_base, size); in pgtable_add_map()
561 vaddr = round_page_up(vaddr_base); in pgtable_add_map()
|
Completed in 5 milliseconds