vm_gpa2hva
sync = (typeof(sync))vm_gpa2hva(data, MEM_SYNC_GPA, NULL);
vm_gpa2hva(data, movesrcgpa, &lastpages);
hva = vm_gpa2hva(data, gpa, &npages);
val = (typeof(val))vm_gpa2hva(data, gpa, NULL);
*(uint64_t *)vm_gpa2hva(data, gptr, NULL) = MEM_TEST_VAL_2;
uint64_t *vptr = (typeof(vptr))vm_gpa2hva(data, gptr, NULL);
sync = (typeof(sync))vm_gpa2hva(data, MEM_SYNC_GPA, NULL);