UPPER_MEM
vcp.vcp_memranges[UPPER_MEM].vmr_size = (64 * MIB) - (640 * KIB);
vcp.vcp_memranges[UPPER_MEM].vmr_gpa = (4 * GIB)
- vcp.vcp_memranges[UPPER_MEM].vmr_size;
(vsp.vsp_memranges[UPPER_MEM].vmr_va + off + i));