buffree.c File Reference

#include <stddef.h>
#include <semaphore.h>
#include <interrupt.h>
#include <bufpool.h>

Functions
syscall	buffree (void *buffer)