function portset {
    pci=$1
    mode=$2
    ./connectx_port_config -d "$pci" -c "$mode,$mode" &> /dev/null
}

function mlxconf {
    mode=$1

    pci=$(./connectx_port_config -s | grep PCI | grep -Po "[\da-f]{4}:[\da-f]{2}:[\da-f]{2}\.[\da-f]")
    for dev in $pci; do
	echo "Configuring: $dev"
	portset $dev $mode
    done
}

function ipset {
    int="$1"
    ip="$2"

    if [ -n "$ip" ]; then
	ip link  set "$int"  up
	ip addr flush "$int"
	ip addr show dev "$int" | grep "$ip" || ip addr add "$ip/24" dev "$int"
    else
	ip addr flush "$int"
	ip link  set "$int"  down
    fi
}