checked_rdmsr
if (checked_rdmsr(msr, valp) == 0)
if ((error = checked_rdmsr(msr, &value)) != 0) {
if ((err = checked_rdmsr(msr, &value)) != 0) {
if ((error = checked_rdmsr(msr, &nbcfg)) != 0) {
if ((err = checked_rdmsr(msr, &value)) != 0) {
if (checked_rdmsr(msr, valp) == 0) {
extern int checked_rdmsr(uint_t, uint64_t *);