2021-09-04 | Paul Boddie | raw annotate files changeset graph | Moved pipe region initialisation to the first access made by the client library. This avoids memory being mapped straight away for pipe regions which is undesirable when creating pipe endpoints for propagation to other tasks. Updated the host directory listing functionality to use the default blocking I/O regime. |
1 #include <systypes/base.h> /* offset_t */ 2 3 /* An interface providing operations common to both unmapped and mapped files. 4 Other interfaces are used to specialise different kinds of files. */ 5 6 interface File 7 { 8 /* Obtain a file metadata object. */ 9 10 [opcode(11)] void fstat(out offset_t size, out cap statcap); 11 12 /* Resize the file. */ 13 14 [opcode(21)] void resize(inout offset_t size); 15 };