Home
last modified time | relevance | path

Searched refs:vecptr (Results 1 – 6 of 6) sorted by relevance

/freebsd-head/sys/amd64/vmm/io/
HDvatpic.h54 void vatpic_pending_intr(struct vm *vm, int *vecptr);
HDvlapic.h51 int vlapic_pending_intr(struct vlapic *vlapic, int *vecptr);
HDvlapic_priv.h138 int (*pending_intr)(struct vlapic *vlapic, int *vecptr);
HDvlapic.c1230 vlapic_pending_intr(struct vlapic *vlapic, int *vecptr) in vlapic_pending_intr() argument
1239 return ((*vlapic->ops.pending_intr)(vlapic, vecptr)); in vlapic_pending_intr()
1251 if (vecptr != NULL) in vlapic_pending_intr()
1252 *vecptr = vector; in vlapic_pending_intr()
HDvatpic.c552 vatpic_pending_intr(struct vm *vm, int *vecptr) in vatpic_pending_intr() argument
578 *vecptr = atpic->irq_base + pin; in vatpic_pending_intr()
/freebsd-head/sys/amd64/vmm/intel/
HDvmx.c3810 vmx_pending_intr(struct vlapic *vlapic, int *vecptr) in vmx_pending_intr() argument
3824 KASSERT(vecptr == NULL, ("vmx_pending_intr: vecptr must be NULL")); in vmx_pending_intr()