Embedded Xinu Operating System: /users/home/pmcgee6/raxinu/19_ra/xinu/system/bfpfree.c File Reference

Embedded Xinu Operating System

An ongoing research project and educational operating system.

All Data Structures Files Functions Variables Typedefs Enumerations Macros Groups Pages

system

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

Functions
syscall	bfpfree (int poolid)