2 * Jailhouse, a Linux-based partitioning hypervisor
4 * Copyright (c) Siemens AG, 2015
7 * Jan Kiszka <jan.kiszka@siemens.com>
9 * This work is licensed under the terms of the GNU GPL, version 2. See
10 * the COPYING file in the top-level directory.
13 #define __MODEL_GFP_USER (0x10u | 0x40u | 0x80u | 0x20000u)
14 #define __MODEL_GFP_NOWARN 0x200u
16 void *kmalloc(size_t size, unsigned flags)
20 if (flags == (__MODEL_GFP_USER | __MODEL_GFP_NOWARN))
21 __coverity_tainted_data_sanitize__(size);
23 __coverity_tainted_data_sink__(size);
25 ptr = __coverity_alloc__(size);
27 __coverity_mark_as_uninitialized_buffer__(ptr);
28 __coverity_mark_as_afm_allocated__(ptr, "kfree");