# define VFS_VMCALL_FD m10_i2
# define VFS_VMCALL_REQID m10_i3
# define VFS_VMCALL_ENDPOINT m10_i4
-# define VFS_VMCALL_OFFSET_LO m10_l1
-# define VFS_VMCALL_OFFSET_HI m10_l2
+# define VFS_VMCALL_OFFSET m10_ull1
# define VFS_VMCALL_LENGTH m10_l3
/* Request codes to from VM to VFS */
int req_fd = job_m_in.VFS_VMCALL_FD;
u32_t req_id = job_m_in.VFS_VMCALL_REQID;
endpoint_t ep = job_m_in.VFS_VMCALL_ENDPOINT;
- u64_t offset = make64(job_m_in.VFS_VMCALL_OFFSET_LO,
- job_m_in.VFS_VMCALL_OFFSET_HI);
+ u64_t offset = job_m_in.VFS_VMCALL_OFFSET;
u32_t length = job_m_in.VFS_VMCALL_LENGTH;
int result = OK;
int slot;
m->VFS_VMCALL_FD = fd;
m->VFS_VMCALL_REQID = reqid;
m->VFS_VMCALL_ENDPOINT = vmp->vm_endpoint;
- m->VFS_VMCALL_OFFSET_LO = ex64lo(offset);
- m->VFS_VMCALL_OFFSET_HI = ex64hi(offset);
+ m->VFS_VMCALL_OFFSET = offset;
m->VFS_VMCALL_LENGTH = len;
reqnode->who = vmp->vm_endpoint;