static int ocpbus_teardown_intr(device_t dev, device_t child, struct resource *res, void *cookie) { return (powerpc_teardown_intr(cookie)); }
static int nexus_teardown_intr(device_t bus __unused, device_t child __unused, struct resource *r, void *ih) { if (r == NULL) return (EINVAL); return (powerpc_teardown_intr(ih)); }
static int nexus_teardown_intr(device_t bus, device_t child, struct resource *res, void *cookie) { int error; if (res == NULL) return (EINVAL); error = powerpc_teardown_intr(cookie); return (error); }