Embedded Xinu Operating System
An ongoing research project and educational operating system.
|
#include <stddef.h>
#include <semaphore.h>
#include <interrupt.h>
#include <bufpool.h>
#include <string.h>
Functions | |
void * | bufget_ (int poolid, const char *file, const char *func) |