diff options
| author |   Jakub Grajciar <jgrajcia@cisco.com> | 2018-10-09 10:02:46 +0200 |
|---|---|---|
| committer | Jakub Grajciar <jgrajcia@cisco.com> | 2018-10-09 10:07:41 +0200 |
| commit | 7d476e03aa3832c4c5b2ec7fafbceddc070fd5d9 (patch) | |
| tree | 062d27a4fe9b86c5612bb33a32789f9e8123a825 /src/vppinfra/os.h | |
| parent | de728ac3c06531f5c16fac65c505f0e63948ebe8 (diff) | |
memif: coverity fix
Change-Id: I2b14e2a035a37b04816aac1e610146be58ad1e92
Signed-off-by: Jakub Grajciar <jgrajcia@cisco.com>
Diffstat (limited to 'src/vppinfra/os.h')
0 files changed, 0 insertions, 0 deletions