Lines Matching defs:vmxctx
48 struct vmxctx { struct
49 uint64_t guest_rdi; /* Guest state */
50 uint64_t guest_rsi;
51 uint64_t guest_rdx;
52 uint64_t guest_rcx;
53 uint64_t guest_r8;
54 uint64_t guest_r9;
55 uint64_t guest_rax;
56 uint64_t guest_rbx;
57 uint64_t guest_rbp;
58 uint64_t guest_r10;
59 uint64_t guest_r11;
60 uint64_t guest_r12;
61 uint64_t guest_r13;
62 uint64_t guest_r14;
63 uint64_t guest_r15;
64 uint64_t guest_cr2;
65 uint64_t guest_dr0;
66 uint64_t guest_dr1;
67 uint64_t guest_dr2;
68 uint64_t guest_dr3;
69 uint64_t guest_dr6;
71 uint64_t host_dr0;
72 uint64_t host_dr1;
73 uint64_t host_dr2;
74 uint64_t host_dr3;
75 uint64_t host_dr6;
76 uint64_t host_dr7;
77 uint64_t host_debugctl;
78 int host_tf;
80 int inst_fail_status;