00001
00009
00010
00011
00012
00013 import <l4/sys/types.h>
00014 import <l4/l4vfs/types.h>
00015
00019 library l4vfs
00020 {
00024 [uuid(53),abstract]
00025 interface common_io_notify
00026 {
00027
00028
00029
00030 [oneway]
00031 void read_notify([in] object_handle_t handle,
00032 [in] l4vfs_ssize_t retval,
00033 [in, size_is(count),ref] char *buf,
00034 [in] l4vfs_size_t *count,
00035 [in] l4_threadid_t source);
00036
00037
00038
00039
00040 [oneway]
00041 void write_notify([in] object_handle_t handle,
00042 [in] l4vfs_ssize_t retval,
00043 [in] l4vfs_size_t *count,
00044 [in] l4_threadid_t source);
00045 };
00046 };