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

Go to the source code of this file.

Functions

void * kmalloc (int size, int flags)
void kfree (const void *ptr)

Function Documentation

◆ kfree()

void kfree ( const void * ptr)

◆ kmalloc()

void * kmalloc ( int size,
int flags )