hc
2023-02-13 e440ec23c5a540cdd3f7464e8779219be6fd3d95
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
#!/bin/bash
# SPDX-License-Identifier: GPL-2.0
 
##############################################################################
# Source library
 
relative_path="${BASH_SOURCE%/*}"
if [[ "$relative_path" == "${BASH_SOURCE}" ]]; then
   relative_path="."
fi
 
source "$relative_path/lib.sh"
 
##############################################################################
# Defines
 
DEVLINK_DEV=$(devlink port show | grep "${NETIFS[p1]}" | \
         grep -v "${NETIFS[p1]}[0-9]" | cut -d" " -f1 | \
         rev | cut -d"/" -f2- | rev)
if [ -z "$DEVLINK_DEV" ]; then
   echo "SKIP: ${NETIFS[p1]} has no devlink device registered for it"
   exit 1
fi
if [[ "$(echo $DEVLINK_DEV | grep -c pci)" -eq 0 ]]; then
   echo "SKIP: devlink device's bus is not PCI"
   exit 1
fi
 
DEVLINK_VIDDID=$(lspci -s $(echo $DEVLINK_DEV | cut -d"/" -f2) \
        -n | cut -d" " -f3)
 
##############################################################################
# Sanity checks
 
devlink -j resource show "$DEVLINK_DEV" &> /dev/null
if [ $? -ne 0 ]; then
   echo "SKIP: iproute2 too old, missing devlink resource support"
   exit 1
fi
 
##############################################################################
# Devlink helpers
 
devlink_resource_names_to_path()
{
   local resource
   local path=""
 
   for resource in "${@}"; do
       if [ "$path" == "" ]; then
           path="$resource"
       else
           path="${path}/$resource"
       fi
   done
 
   echo "$path"
}
 
devlink_resource_get()
{
   local name=$1
   local resource_name=.[][\"$DEVLINK_DEV\"]
 
   resource_name="$resource_name | .[] | select (.name == \"$name\")"
 
   shift
   for resource in "${@}"; do
       resource_name="${resource_name} | .[\"resources\"][] | \
                  select (.name == \"$resource\")"
   done
 
   devlink -j resource show "$DEVLINK_DEV" | jq "$resource_name"
}
 
devlink_resource_size_get()
{
   local size=$(devlink_resource_get "$@" | jq '.["size_new"]')
 
   if [ "$size" == "null" ]; then
       devlink_resource_get "$@" | jq '.["size"]'
   else
       echo "$size"
   fi
}
 
devlink_resource_size_set()
{
   local new_size=$1
   local path
 
   shift
   path=$(devlink_resource_names_to_path "$@")
   devlink resource set "$DEVLINK_DEV" path "$path" size "$new_size"
   check_err $? "Failed setting path $path to size $size"
}
 
devlink_reload()
{
   local still_pending
 
   devlink dev reload "$DEVLINK_DEV" &> /dev/null
   check_err $? "Failed reload"
 
   still_pending=$(devlink resource show "$DEVLINK_DEV" | \
           grep -c "size_new")
   check_err $still_pending "Failed reload - There are still unset sizes"
}