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