vlapic_set_intr_ready
notify = vlapic_set_intr_ready(vlapic, vec, false);
vcpu_notify_t vlapic_set_intr_ready(struct vlapic *vlapic, int vector,
notify = vlapic_set_intr_ready(vlapic, vector, level);