/* PRF driver */
#include "/etc/system"

#ifndef PRF
prfinit() {}
prfread() { nodev(); }
prfwrite() { nodev(); }
prfioctl() { nodev(); }
prfintr() {}
#endif
