vlapic_rdmsr
res = vlapic_rdmsr(vlapic, ecx, &val);
vm_msr_result_t vlapic_rdmsr(struct vlapic *, uint32_t, uint64_t *);