Lines Matching defs:pat
199 " [--get-guest-pat]\n"
217 " [--get-vmcs-host-pat]\n"
1008 uint64_t ctl, cr0, cr3, cr4, rsp, rip, pat, addr, u64;
1153 error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_IA32_PAT, &pat);
1155 printf("host_pat[%d]\t\t0x%016lx\n", vcpu, pat);
1446 { "get-guest-pat", NO_ARG, &get_guest_pat, 1 },
1495 { "get-vmcs-host-pat", NO_ARG, &get_host_pat, 1 },
1766 uint64_t rsp, rip, rflags, efer, pat;
2225 VMCS_GUEST_IA32_PAT, &pat);
2228 VMCB_OFF_GUEST_PAT, 8, &pat);
2230 printf("guest_pat[%d]\t\t0x%016lx\n", vcpu, pat);