diff options
| author | Michael Brown | 2017-03-22 15:46:03 +0100 |
|---|---|---|
| committer | Michael Brown | 2017-03-22 15:46:03 +0100 |
| commit | 65a3518013ec9ae97c9eb824cb89452111f8a7c0 (patch) | |
| tree | a6686da2f0cb00ea73c745ea219c0aa410e69607 /src/include/ipxe/linux | |
| parent | [mucurses] Ensure SLK labels are always terminated (diff) | |
| download | ipxe-65a3518013ec9ae97c9eb824cb89452111f8a7c0.tar.gz ipxe-65a3518013ec9ae97c9eb824cb89452111f8a7c0.tar.xz ipxe-65a3518013ec9ae97c9eb824cb89452111f8a7c0.zip | |
[coverity] Add Coverity user model
Add a trivial model file to prevent Coverity from making various
incorrect assumptions about functions where the iPXE behaviour
diverges from POSIX or Linux norms.
Signed-off-by: Michael Brown <mcb30@ipxe.org>
Diffstat (limited to 'src/include/ipxe/linux')
0 files changed, 0 insertions, 0 deletions