00001
00009
00010
00011
00012
00013 import <l4/sys/types.h>
00014 import <l4/l4vfs/types.h>
00015 import <l4/dm_generic/types.h>
00016
00020 library l4vfs
00021 {
00025 [uuid(52), abstract]
00026 interface mmap
00027 {
00028 int mmap([out] l4dm_dataspace_t *ds, [in] l4vfs_size_t length,
00029 [in] int prot, [in] int flags,
00030 [in] object_handle_t handle, [in] l4vfs_off_t offset);
00031
00032 int msync([in] l4dm_dataspace_t *ds, [in] l4_addr_t start,
00033 [in] l4vfs_size_t length, int flags);
00034
00035 int munmap([in] l4dm_dataspace_t *ds, [in] l4_addr_t start,
00036 [in] l4vfs_size_t length);
00037
00038
00039
00040 };
00041 };