ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
gfp.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define MAX_ALLOC_SIZE   1024*1024
#define ZERO_SIZE_PTR   ((void *)16)
#define KMALLOC_MAX_SIZE   (1UL << KMALLOC_SHIFT_MAX)
#define KMALLOC_MAX_CACHE_SIZE   1024
#define KMALLOC_MAX_ORDER   (KMALLOC_SHIFT_MAX - PAGE_SHIFT)
#define KMALLOC_MIN_SIZE   (1 << KMALLOC_SHIFT_LOW)
#define __GFP_DMA   0x01u
#define __GFP_HIGHMEM   0x02u
#define __GFP_DMA32   0x04u
#define __GFP_ZERO   0x40u
#define __GFP_NOWARN   0x80u
#define __GFP_REPEAT   0x400u
#define __GFP_NOFAIL   0x800u
#define __GFP_NORETRY   0x1000u
#define __GFP_MEMALLOC   0x2000u
#define __GFP_COMP   0x4000u
#define __GFP_NO_KSWAPD   0x8000u
#define __GFP_OTHER_NODE   0x10000u
#define __GFP_WRITE   0x20000u
#define __GFP_HARDWALL   0x40000u
#define __GFP_THISNODE   0x80000u
#define __GFP_ATOMIC   0x100000u
#define __GFP_ACCOUNT   0x200000u
#define __GFP_RECLAIM   0x01u
#define __GFP_IO   0x02u
#define __GFP_FS   0x04u
#define GFP_ATOMIC   (__GFP_HIGH|__GFP_ATOMIC|__GFP_KSWAPD_RECLAIM)
#define GFP_KERNEL   (__GFP_RECLAIM | __GFP_IO | __GFP_FS)
#define GFP_KERNEL_ACCOUNT   (GFP_KERNEL | __GFP_ACCOUNT)
#define GFP_NOWAIT   (__GFP_KSWAPD_RECLAIM)
#define GFP_NOIO   (__GFP_RECLAIM)
#define GFP_NOFS   (__GFP_RECLAIM | __GFP_IO)
#define GFP_USER   (__GFP_RECLAIM | __GFP_IO | __GFP_FS | __GFP_HARDWALL)
#define GFP_DMA   __GFP_DMA
#define GFP_DMA32   __GFP_DMA32
#define GFP_HIGHUSER   (GFP_USER | __GFP_HIGHMEM)
#define GFP_HIGHUSER_MOVABLE
#define GFP_TRANSHUGE_LIGHT
#define GFP_TRANSHUGE   (GFP_TRANSHUGE_LIGHT | __GFP_DIRECT_RECLAIM)
#define GFP_MOVABLE_MASK   (__GFP_RECLAIMABLE|__GFP_MOVABLE)
#define GFP_MOVABLE_SHIFT   3

Typedefs

typedef unsigned int gfp_t

Macro Definition Documentation

◆ __GFP_ACCOUNT

#define __GFP_ACCOUNT   0x200000u

◆ __GFP_ATOMIC

#define __GFP_ATOMIC   0x100000u

◆ __GFP_COMP

#define __GFP_COMP   0x4000u

◆ __GFP_DMA

#define __GFP_DMA   0x01u

◆ __GFP_DMA32

#define __GFP_DMA32   0x04u

◆ __GFP_FS

#define __GFP_FS   0x04u

◆ __GFP_HARDWALL

#define __GFP_HARDWALL   0x40000u

◆ __GFP_HIGHMEM

#define __GFP_HIGHMEM   0x02u

◆ __GFP_IO

#define __GFP_IO   0x02u

◆ __GFP_MEMALLOC

#define __GFP_MEMALLOC   0x2000u

◆ __GFP_NO_KSWAPD

#define __GFP_NO_KSWAPD   0x8000u

◆ __GFP_NOFAIL

#define __GFP_NOFAIL   0x800u

◆ __GFP_NORETRY

#define __GFP_NORETRY   0x1000u

◆ __GFP_NOWARN

#define __GFP_NOWARN   0x80u

◆ __GFP_OTHER_NODE

#define __GFP_OTHER_NODE   0x10000u

◆ __GFP_RECLAIM

#define __GFP_RECLAIM   0x01u

◆ __GFP_REPEAT

#define __GFP_REPEAT   0x400u

◆ __GFP_THISNODE

#define __GFP_THISNODE   0x80000u

◆ __GFP_WRITE

#define __GFP_WRITE   0x20000u

◆ __GFP_ZERO

#define __GFP_ZERO   0x40u

◆ GFP_ATOMIC

#define GFP_ATOMIC   (__GFP_HIGH|__GFP_ATOMIC|__GFP_KSWAPD_RECLAIM)

◆ GFP_DMA

#define GFP_DMA   __GFP_DMA

◆ GFP_DMA32

#define GFP_DMA32   __GFP_DMA32

◆ GFP_HIGHUSER

#define GFP_HIGHUSER   (GFP_USER | __GFP_HIGHMEM)

◆ GFP_HIGHUSER_MOVABLE

#define GFP_HIGHUSER_MOVABLE
Value:
(GFP_HIGHUSER | __GFP_MOVABLE | \
__GFP_SKIP_KASAN_POISON)
#define GFP_HIGHUSER
Definition gfp.h:64

◆ GFP_KERNEL

#define GFP_KERNEL   (__GFP_RECLAIM | __GFP_IO | __GFP_FS)

◆ GFP_KERNEL_ACCOUNT

#define GFP_KERNEL_ACCOUNT   (GFP_KERNEL | __GFP_ACCOUNT)

◆ GFP_MOVABLE_MASK

#define GFP_MOVABLE_MASK   (__GFP_RECLAIMABLE|__GFP_MOVABLE)

◆ GFP_MOVABLE_SHIFT

#define GFP_MOVABLE_SHIFT   3

◆ GFP_NOFS

#define GFP_NOFS   (__GFP_RECLAIM | __GFP_IO)

◆ GFP_NOIO

#define GFP_NOIO   (__GFP_RECLAIM)

◆ GFP_NOWAIT

#define GFP_NOWAIT   (__GFP_KSWAPD_RECLAIM)

◆ GFP_TRANSHUGE

#define GFP_TRANSHUGE   (GFP_TRANSHUGE_LIGHT | __GFP_DIRECT_RECLAIM)

◆ GFP_TRANSHUGE_LIGHT

#define GFP_TRANSHUGE_LIGHT
Value:
__GFP_NOMEMALLOC | __GFP_NOWARN) & ~__GFP_RECLAIM)
#define __GFP_COMP
Definition gfp.h:43
#define GFP_HIGHUSER_MOVABLE
Definition gfp.h:65
#define __GFP_RECLAIM
Definition gfp.h:51
#define __GFP_NOWARN
Definition gfp.h:38

◆ GFP_USER

#define GFP_USER   (__GFP_RECLAIM | __GFP_IO | __GFP_FS | __GFP_HARDWALL)

◆ KMALLOC_MAX_CACHE_SIZE

#define KMALLOC_MAX_CACHE_SIZE   1024

◆ KMALLOC_MAX_ORDER

#define KMALLOC_MAX_ORDER   (KMALLOC_SHIFT_MAX - PAGE_SHIFT)

◆ KMALLOC_MAX_SIZE

#define KMALLOC_MAX_SIZE   (1UL << KMALLOC_SHIFT_MAX)

◆ KMALLOC_MIN_SIZE

#define KMALLOC_MIN_SIZE   (1 << KMALLOC_SHIFT_LOW)

◆ MAX_ALLOC_SIZE

#define MAX_ALLOC_SIZE   1024*1024

◆ ZERO_SIZE_PTR

#define ZERO_SIZE_PTR   ((void *)16)

Typedef Documentation

◆ gfp_t

typedef unsigned int gfp_t