1 #include <sys/types.h> /* size_t */ 2 3 /* An interface providing operations specific to unmapped files. For such files, 4 access to the content occurs via explicit operations. */ 5 6 interface UnmappedFile 7 { 8 /* Read data from the given file position, obtaining the populated data 9 limit. */ 10 11 [opcode(3)] void read(in size_t position, out size_t data_end); 12 13 /* Write data at the given file position, updating the writing position within 14 the data and obtaining the size. */ 15 16 [opcode(4)] void write(in size_t position, inout size_t data_start, 17 out size_t size); 18 };