Lines Matching refs:devlink

4 devlink is an API to expose device information and resources not directly
10 The following pages describe various interfaces available through devlink in
16    devlink-dpipe
17    devlink-health
18    devlink-info
19    devlink-flash
20    devlink-params
21    devlink-region
22    devlink-resource
23    devlink-reload
24    devlink-trap
29 Each driver that implements ``devlink`` is expected to document what