1 #include <systypes/user.h> /* user_t */ 2 3 /* An interface providing filesystem operations. */ 4 5 interface Filesystem 6 { 7 /* Obtain filesystem access for the given user details. */ 8 9 [opcode(6)] void open_for_user(in user_t user, out cap opener); 10 };