__virt_pg_map
void __virt_pg_map(struct kvm_vm *vm, struct kvm_mmu *mmu, uint64_t vaddr,
__virt_pg_map(vm, &vm->mmu, vaddr, paddr, PG_LEVEL_4K);
__virt_pg_map(vm, &vm->mmu, vaddr, paddr, level);
__virt_pg_map(vm, &vm->stage2_mmu, nested_paddr, paddr, level);