Searched refs:vecptr (Results 1 – 6 of 6) sorted by relevance
54 void vatpic_pending_intr(struct vm *vm, int *vecptr);
52 int vlapic_pending_intr(struct vlapic *vlapic, int *vecptr);
145 int (*pending_intr)(struct vlapic *vlapic, int *vecptr);
1091 vlapic_pending_intr(struct vlapic *vlapic, int *vecptr) in vlapic_pending_intr() argument1098 return ((*vlapic->ops.pending_intr)(vlapic, vecptr)); in vlapic_pending_intr()1110 if (vecptr != NULL) in vlapic_pending_intr()1111 *vecptr = vector; in vlapic_pending_intr()
551 vatpic_pending_intr(struct vm *vm, int *vecptr) in vatpic_pending_intr() argument577 *vecptr = atpic->irq_base + pin; in vatpic_pending_intr()
3491 vmx_pending_intr(struct vlapic *vlapic, int *vecptr) in vmx_pending_intr() argument3504 KASSERT(vecptr == NULL, ("vmx_pending_intr: vecptr must be NULL")); in vmx_pending_intr()