1.1 --- a/examples/file.idl Fri Dec 02 23:27:20 2022 +0100
1.2 +++ b/examples/file.idl Fri Dec 02 23:41:25 2022 +0100
1.3 @@ -1,15 +1,11 @@
1.4 -#include <sys/types.h> /* size_t */
1.5 +#include <systypes/base.h> /* offset_t */
1.6
1.7 /* An interface providing operations common to both unmapped and mapped files.
1.8 Other interfaces are used to specialise different kinds of files. */
1.9
1.10 interface File
1.11 {
1.12 - /* Flush data and update the size. */
1.13 -
1.14 - [opcode(5)] void flush(in size_t data_start, out size_t size);
1.15 + /* Resize the file. */
1.16
1.17 - /* Obtain a file metadata object. */
1.18 -
1.19 - [opcode(11)] void fstat(out size_t size, out cap statcap);
1.20 + [opcode(21)] void resize(inout offset_t size);
1.21 };