Searched refs:device_read_db (Results 1 – 3 of 3) sorted by relevance
1591 r = device_read_db(device); in sd_device_get_is_initialized()1603 r = device_read_db(device); in sd_device_get_usec_initialized()1625 r = device_read_db(device); in sd_device_get_usec_since_initialized()1650 (void) device_read_db(device); in sd_device_get_tag_first()1664 (void) device_read_db(device); in sd_device_get_tag_next()1676 (void) device_read_db(device); in device_database_supports_current_tags()1693 (void) device_read_db(device); in sd_device_get_current_tag_first()1710 (void) device_read_db(device); in sd_device_get_current_tag_next()1724 (void) device_read_db(device); in sd_device_get_devlink_first()1738 (void) device_read_db(device); in sd_device_get_devlink_next()[all …]
119 r = device_read_db(device); in device_get_devnode_mode()137 r = device_read_db(device); in device_get_devnode_uid()175 r = device_read_db(device); in device_get_devnode_gid()601 r = device_read_db(device); in device_get_devlink_priority()857 r = device_read_db(dest); in device_clone_with_db()
64 static inline int device_read_db(sd_device *device) { in device_read_db() function