Searched refs:devhandle_type (Results 1 – 8 of 8) sorted by relevance
72 devhandle_type(devhandle_t handle) in devhandle_type() function84 devhandle_type_t type1 = devhandle_type(handle1); in devhandle_compare()85 devhandle_type_t type2 = devhandle_type(handle2); in devhandle_compare()
104 devhandle_type_t super_type = devhandle_type(super_handle); in devhandle_from_of()121 KASSERT(devhandle_type(handle) == DEVHANDLE_TYPE_OF); in devhandle_to_of()549 if (devhandle_type(devhandle) == DEVHANDLE_TYPE_OF) { in of_device_from_phandle()
1112 if (devhandle_type(devhandle) == DEVHANDLE_TYPE_OF) { in device_register()1178 KASSERT(devhandle_type(devhandle) == DEVHANDLE_TYPE_OF); in device_register()1214 KASSERT(devhandle_type(devhandle) == DEVHANDLE_TYPE_OF); in device_register()1333 devhandle_type(bushandle) == DEVHANDLE_TYPE_OF ? in device_register()1480 KASSERT(devhandle_type(ctlr_devhandle) == in device_register_post_config()
244 devhandle_type_t super_type = devhandle_type(super_handle); in devhandle_from_obp()261 KASSERT(devhandle_type(handle) == DEVHANDLE_TYPE_OPENBOOT); in devhandle_to_obp()
615 devhandle_type_t devhandle_type(devhandle_t);
126 devhandle_type_t super_type = devhandle_type(super_handle); in devhandle_from_acpi()143 KASSERT(devhandle_type(handle) == DEVHANDLE_TYPE_ACPI); in devhandle_to_acpi()
951 if (devhandle_type(devhandle) != DEVHANDLE_TYPE_INVALID) { in mpacpi_set_devhandle()
220 if (devhandle_type(devhandle) == DEVHANDLE_TYPE_OF) { in gpio_pin_defname()