Searched refs:vcpu_notify_event_type (Results 1 – 4 of 4) sorted by relevance
81 vcpu_notify_event_type(vm, cpu, notify); in lapic_set_intr()
3617 vcpu_notify_event_type(struct vm *vm, int vcpuid, vcpu_notify_t ntype) in vcpu_notify_event_type() function
295 void vcpu_notify_event_type(struct vm *vm, int vcpuid, vcpu_notify_t);
500 vcpu_notify_event_type(vlapic->vm, vlapic->vcpuid, notify); in vlapic_fire_lvt()