1 #include <sys/types.h> /* size_t */ 2 #include <systypes/base.h> /* sys_uid_t, sys_gid_t, sys_mode_t */ 3 4 interface Filesystem 5 { 6 /* Present a filesystem and a memory region containing the mountpoint. */ 7 8 [opcode(0)] void mount(in cap fs, in cap ds); 9 10 /* Obtain a filesystem reference. */ 11 12 [opcode(1)] void getfs(in int flags, in cap ds, in cap irq, 13 out size_t size, out cap fs); 14 15 /* Obtain filesystem access for the given user details. */ 16 17 [opcode(6)] void getuserfs(in sys_uid_t uid, in sys_gid_t gid, 18 in sys_mode_t umask, out cap ref); 19 20 /* Obtain a file reference. */ 21 22 [opcode(2)] void open(in int flags, in cap ds, in cap irq, 23 out size_t size, out cap file); 24 };