Searched refs:vecptr (Results 1 – 6 of 6) sorted by relevance
56 void vatpic_pending_intr(struct vm *vm, int *vecptr);
53 int vlapic_pending_intr(struct vlapic *vlapic, int *vecptr);
145 int (*pending_intr)(struct vlapic *vlapic, int *vecptr);
554 vatpic_pending_intr(struct vm *vm, int *vecptr) in vatpic_pending_intr() argument580 *vecptr = atpic->irq_base + pin; in vatpic_pending_intr()
1085 vlapic_pending_intr(struct vlapic *vlapic, int *vecptr) in vlapic_pending_intr() argument1094 return ((*vlapic->ops.pending_intr)(vlapic, vecptr)); in vlapic_pending_intr()1106 if (vecptr != NULL) in vlapic_pending_intr()1107 *vecptr = vector; in vlapic_pending_intr()
3715 vmx_pending_intr(struct vlapic *vlapic, int *vecptr) in vmx_pending_intr() argument3728 KASSERT(vecptr == NULL, ("vmx_pending_intr: vecptr must be NULL")); in vmx_pending_intr()