Removes mon_setmapperm
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 6 Apr 2015 18:51:56 +0000 (14:51 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 7 Apr 2015 19:07:00 +0000 (15:07 -0400)
commit23691628b8ed6c9de6454c5503ad31410042cdb8
tree00ae2c9aff127dc48b6951f0bf54d81e66bd0dc0
parent1e1023344a68609dd0b3aca7f0705d3e14a8a8f2
Removes mon_setmapperm

Unused, and just cluttering up my git grep.
kern/include/monitor.h
kern/src/monitor.c