gerrit.onosproject.org / onos / 24cce0a36d29765c7b64bce1e53d11a08183e4c6 / web / api / src / main / resources / definitions / DeviceGetPorts.json