* Register interrupt controller. */
| 809 | * Register interrupt controller. |
| 810 | */ |
| 811 | struct intr_pic * |
| 812 | intr_pic_register(device_t dev, intptr_t xref) |
| 813 | { |
| 814 | struct intr_pic *pic; |
| 815 | |
| 816 | if (dev == NULL) |
| 817 | return (NULL); |
| 818 | pic = pic_create(dev, xref, FLAG_PIC); |
| 819 | if (pic == NULL) |
| 820 | return (NULL); |
| 821 | |
| 822 | debugf("PIC %p registered for %s <dev %p, xref %jx>\n", pic, |
| 823 | device_get_nameunit(dev), dev, (uintmax_t)xref); |
| 824 | return (pic); |
| 825 | } |
| 826 | |
| 827 | /* |
| 828 | * Unregister interrupt controller. |
no test coverage detected