vcpu_notify_t
static vcpu_notify_t
vcpu_notify_t notify = VCPU_NOTIFY_NONE;
vcpu_notify_t
vcpu_notify_t notify;
vcpu_notify_t vlapic_set_intr_ready(struct vlapic *vlapic, int vector,
vcpu_notify_t (*set_intr_ready)(struct vlapic *vlapic, int vector,
void vcpu_notify_event_type(struct vm *vm, int vcpuid, vcpu_notify_t);
static void vcpu_notify_event_locked(struct vcpu *vcpu, vcpu_notify_t);
vcpu_notify_event_locked(struct vcpu *vcpu, vcpu_notify_t ntype)
vcpu_notify_event_type(struct vm *vm, int vcpuid, vcpu_notify_t ntype)
vcpu_notify_t notify;