build_get_pgd_vmalloc64
build_get_pgd_vmalloc64(&p, &l, &r, GPR_K0, GPR_K1, vmalloc_mode);
build_get_pgd_vmalloc64(p, l, r, tmp, ptr, not_refill);