vm_wrmtrr
if (vm_wrmtrr(&vcpu->mtrr, num, val) != 0) {
int vm_wrmtrr(struct vm_mtrr *mtrr, u_int num, uint64_t val);