diff options
author | Steven Luong <sluong@cisco.com> | 2019-07-31 16:01:14 -0700 |
---|---|---|
committer | Dave Barach <openvpp@barachs.net> | 2019-08-02 20:32:14 +0000 |
commit | 5dedae7291236a399a234ac6fa86f16d9030a0d6 (patch) | |
tree | 3029984a5cddc1511915a858796bcbb3ddcc7a61 /build-root/vagrant | |
parent | d2c9e702098a4fcc45310d59e18bffc9626d3849 (diff) |
devices: add null check after map_guest_mem calls
map_guest_mem may return null. Coverity complains about calls
without checking its return. Simple stuff.
Type: fix
Signed-off-by: Steven Luong <sluong@cisco.com>
Change-Id: I0626115f4951a88f23d9792f0232fb57c132fbc2
Diffstat (limited to 'build-root/vagrant')
0 files changed, 0 insertions, 0 deletions