int rsbac_get_user
(unsigned char * kern_p, unsigned char * user_p, int len);
/* get data from user space */
int rsbac_put_user
(unsigned char * kern_p, unsigned char * user_p, int len);
/* put data to user space */
char * rsbac_getname(const char * name);
/* allocate a page and copy name from userspace */
void rsbac_putname(const char * name);
/* deallocate the page */