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"
2void *kmalloc(int size, int flags);
3void kfree(const void *ptr);
void kfree(const void *ptr)
Definition kernel.c:68
void * kmalloc(int size, int flags)
Definition kernel.c:46