kappl.cc File Reference

#include "user/app2/kappl.h"
#include "device/textstream.h"
#include "syscall/guarded_keyboard.h"
#include "syscall/guarded_semaphore.h"
#include "syscall/guarded_bell.h"

Include dependency graph for kappl.cc:

Constants
TextStream	kout
GuardedKeyboard	keyboard
GuardedSemaphore	koutsem

Variable Documentation

kout

TextStream kout

extern

keyboard

GuardedKeyboard keyboard

extern

koutsem

GuardedSemaphore koutsem

extern