Lines Matching refs:device_t
58 device_t dev;
86 device_t cbdev;
113 int cbb_activate_resource(device_t brdev, device_t child,
115 struct resource *cbb_alloc_resource(device_t brdev, device_t child,
118 void cbb_child_detached(device_t brdev, device_t child);
119 int cbb_child_present(device_t parent, device_t child);
120 int cbb_deactivate_resource(device_t brdev, device_t child,
122 int cbb_detach(device_t brdev);
124 void cbb_driver_added(device_t brdev, driver_t *driver);
126 int cbb_pcic_set_memory_offset(device_t brdev, device_t child, int rid,
128 int cbb_pcic_set_res_flags(device_t brdev, device_t child, int type,
130 int cbb_power(device_t brdev, int volts);
131 int cbb_power_enable_socket(device_t brdev, device_t child);
132 int cbb_power_disable_socket(device_t brdev, device_t child);
133 int cbb_read_ivar(device_t brdev, device_t child, int which,
135 int cbb_release_resource(device_t brdev, device_t child,
137 int cbb_setup_intr(device_t dev, device_t child, struct resource *irq,
140 int cbb_teardown_intr(device_t dev, device_t child, struct resource *irq,
142 int cbb_write_ivar(device_t brdev, device_t child, int which,