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