devlink-resource (8) - Linux Manuals

devlink-resource: devlink device resource configuration

NAME

devlink-resource - devlink device resource configuration

SYNOPSIS


devlink [ OPTIONS ] resource { COMMAND | help }


OPTIONS := { -v[erbose] }


devlink resource show DEV


devlink resource help


devlink resource set DEV path RESOURCE_PATH size RESOURCE_SIZE

DESCRIPTION

devlink resource show - display devlink device's resosources

DEV - specifies the devlink device to show.

Format is: BUS_NAME/BUS_ADDRESS

devlink resource set - sets resource size of specific resource

DEV - specifies the devlink device.

path RESOURCE_PATH
Resource's path.

size RESOURCE_SIZE
The new resource's size.

EXAMPLES

devlink resource show pci/0000:01:00.0

Shows the resources of the specified devlink device.

devlink resource set pci/0000:01:00.0 /kvd/linear 98304

Sets the size of the specified resource for the specified devlink device.

AUTHOR

Arkadi Sharshevsky <arkadis [at] mellanox.com>