map_donated_memory_noclear
void *va = map_donated_memory_noclear(host_va, size);
pgd = map_donated_memory_noclear(pgd_hva, pgd_size);