core_reg_size_from_offset
int size = core_reg_size_from_offset(vcpu, off);
int size = core_reg_size_from_offset(vcpu, i);