lapic_rdmsr
error = lapic_rdmsr(vcpu->vcpu, num, &result, retu);
int lapic_rdmsr(struct vcpu *vcpu, u_int msr, uint64_t *rval, bool *retu);