vmread
error = vmread(encoding, retval);
if ((error = vmread(base, &u64)) != 0)
if ((error = vmread(limit, &u64)) != 0)
if ((error = vmread(access, &u64)) != 0)
error = vmread(ident, val);
error = vmread(encoding, &val);