1.1 --- a/examples/filesystem.idl Sun Nov 03 22:59:05 2019 +0100
1.2 +++ b/examples/filesystem.idl Sun Nov 03 22:59:49 2019 +0100
1.3 @@ -17,11 +17,6 @@
1.4 [opcode(6)] void getuserfs(in sys_uid_t uid, in sys_gid_t gid,
1.5 in sys_mode_t umask, out cap ref);
1.6
1.7 - /* Obtain a directory listing reference. */
1.8 -
1.9 - [opcode(12)] void listdir(in int flags, in cap ds, in cap irq,
1.10 - out size_t size, out cap dir);
1.11 -
1.12 /* Obtain a file reference. */
1.13
1.14 [opcode(2)] void open(in int flags, in cap ds, in cap irq,