vmcb_ctrl
struct vmcb_ctrl *ctrl;
svm_inject_event(struct vmcb_ctrl *ctrl, uint64_t info)
struct vmcb_ctrl *ctrl = svm_get_vmcb_ctrl(sc, vcpu);
struct vmcb_ctrl *ctrl = svm_get_vmcb_ctrl(sc, vcpu);
struct vmcb_ctrl *ctrl;
struct vmcb_ctrl *ctrl;
struct vmcb_ctrl *ctrl;
struct vmcb_ctrl *ctrl;
struct vmcb_ctrl *ctrl = svm_get_vmcb_ctrl(sc, vcpuid);
struct vmcb_ctrl *ctrl = svm_get_vmcb_ctrl(sc, vcpuid);
struct vmcb_ctrl *ctrl = svm_get_vmcb_ctrl(svm_sc, vcpuid);
struct vmcb_ctrl *ctrl;
struct vmcb_ctrl *ctrl = svm_get_vmcb_ctrl(sc, vcpu);
struct vmcb_ctrl *ctrl;
struct vmcb_ctrl *ctrl;
struct vmcb_ctrl *ctrl;
struct vmcb_ctrl *ctrl;
struct vmcb_ctrl *ctrl;
struct vmcb_ctrl *ctrl = svm_get_vmcb_ctrl(svm_sc, vcpu);
struct vmcb_ctrl *ctrl;
struct vmcb_ctrl *ctrl;
struct vmcb_ctrl *ctrl = svm_get_vmcb_ctrl(sc, vcpu);
static __inline struct vmcb_ctrl *
CTASSERT(sizeof (struct vmcb_ctrl) == 1024);
CTASSERT(offsetof(struct vmcb_ctrl, vmsa_pa) == 0x108);
struct vmcb_ctrl ctrl;