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>