read_mem
error = read_mem(vcpus[cur_vcpu], gpa, &val,
int read_mem(struct vcpu *vpu, uint64_t gpa, uint64_t *rval, int size);
return (read_mem(addr, len, show_mem));
return (read_mem(addr, TCB_SIZE, show_tcb));