kvmppc_get_field
srnum = kvmppc_get_field(inst, 12 + 32, 15 + 32);
return kvmppc_get_field(inst, msb + 32, lsb + 32);