vgpu_vreg64_t
pdps = (u64 *)&vgpu_vreg64_t(vgpu, vgtif_reg(pdp[0]));
vgpu_vreg64_t(vgpu, vgtif_reg(magic)) = VGT_MAGIC;