]> rtime.felk.cvut.cz Git - l4.git/blob - kernel/fiasco/src/kern/ux/undef_page.h
update
[l4.git] / kernel / fiasco / src / kern / ux / undef_page.h
1 // undefine constants defined in <sys/user.h> since they would re-define
2 // variables in the config class
3 #undef PAGE_SHIFT
4 #undef PAGE_SIZE
5 #undef PAGE_MASK