ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
slab.h
Go to the documentation of this file.
1
#include "
gfp.h
"
2
void
*
kmalloc
(
int
size,
int
flags);
3
void
kfree
(
const
void
*ptr);
gfp.h
kfree
void kfree(const void *ptr)
Definition
kernel.c:68
kmalloc
void * kmalloc(int size, int flags)
Definition
kernel.c:46
src
c2goto
headers
ubuntu20.04
kernel_5.15.0-76
include
linux
slab.h
Generated by
1.15.0