1 /* 2 * Base types used by various other types. 3 * 4 * Copyright (C) 2019, 2021, 2022 Paul Boddie <paul@boddie.org.uk> 5 * 6 * This program is free software; you can redistribute it and/or 7 * modify it under the terms of the GNU General Public License as 8 * published by the Free Software Foundation; either version 2 of 9 * the License, or (at your option) any later version. 10 * 11 * This program is distributed in the hope that it will be useful, 12 * but WITHOUT ANY WARRANTY; without even the implied warranty of 13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 * GNU General Public License for more details. 15 * 16 * You should have received a copy of the GNU General Public License 17 * along with this program; if not, write to the Free Software 18 * Foundation, Inc., 51 Franklin Street, Fifth Floor, 19 * Boston, MA 02110-1301, USA 20 */ 21 22 #pragma once 23 24 #include <l4/sys/compiler.h> 25 26 #include <systypes/factory.h> 27 28 EXTERN_C_BEGIN 29 30 /* Types for file access (access flags, offsets) and IPC operations. */ 31 32 typedef l4_uint64_t flags_t; /* see systypes/fcntl.h */ 33 typedef l4_uint64_t offset_t; 34 typedef l4_addr_t address_t; /* unsigned long */ 35 36 /* Dataspace mapping flags. 37 See: pkg/l4re-core/l4re_c/include/dataspace.h */ 38 39 typedef l4_uint64_t map_address_t; 40 typedef unsigned long map_flags_t; 41 42 /* Types and values for notification. */ 43 44 typedef l4_uint64_t notify_flags_t; 45 46 enum notify_flags 47 { 48 NOTIFY_CONTENT_AVAILABLE = 1, /* reading files and pipes */ 49 NOTIFY_SPACE_AVAILABLE = 2, /* writing pipes */ 50 NOTIFY_PEER_CLOSED = 4, /* closing files and pipes */ 51 NOTIFY_FILE_OPENED = 8, /* opening files in directories */ 52 }; 53 54 /* Filesystem object properties. */ 55 56 typedef unsigned long object_flags_t; 57 58 enum object_flags 59 { 60 OBJECT_SUPPORTS_MMAP = 1, 61 OBJECT_HAS_SIZE = 2 62 }; 63 64 /* Memory mapping protection flags compatible with sys/mman.h (and incompatible 65 with comparable L4Re flags). */ 66 67 typedef unsigned long prot_t; 68 69 enum prot_flags 70 { 71 PROT_NONE = 0, 72 PROT_READ = 1, 73 PROT_WRITE = 2, 74 PROT_EXEC = 4 75 }; 76 77 /* Equivalent types are defined in sys/types.h typically. In newlib, they are 78 defined in sys/_types.h if not defined elsewhere (such as in 79 machine/_types.h). In uclibc, the following file is informative: 80 81 pkg/l4re-core/uclibc/lib/contrib/uclibc/libc/sysdeps/linux/common/bits/types.h 82 83 These types are intended for IPC, permitting different parties to employ 84 different library implementations where these types may be different. 85 */ 86 87 typedef l4_uint64_t sys_dev_t; /* device number */ 88 typedef unsigned long int sys_ino_t; /* inode number */ 89 typedef unsigned int sys_mode_t; /* file permissions */ 90 typedef unsigned long int sys_nlink_t; /* link count */ 91 typedef unsigned int sys_uid_t; /* user identifier */ 92 typedef unsigned int sys_gid_t; /* group identifier */ 93 typedef long sys_off_t; /* file offset/position */ 94 typedef long sys_blksize_t; /* input/output block size */ 95 typedef long sys_blkcnt_t; /* number of 512-byte blocks */ 96 97 /* Conversions. */ 98 99 #define systypes_from_sys_mode(mode) \ 100 ((mode_t) mode) 101 102 #define systypes_to_sys_mode(mode) \ 103 ((sys_mode_t) mode) 104 105 /* Factory types for L4 factory interface invocations. */ 106 107 ipc_varg_typedef(sys_mode_t, ipc_varg_sys_mode_t) 108 ipc_varg_typedef(sys_uid_t, ipc_varg_sys_uid_t) 109 ipc_varg_typedef(sys_gid_t, ipc_varg_sys_gid_t) 110 111 #define ipc_varg_sys_mode(value) \ 112 ipc_varg_umword(ipc_varg_sys_mode_t, value) 113 114 #define ipc_varg_sys_uid(value) \ 115 ipc_varg_umword(ipc_varg_sys_uid_t, value) 116 117 #define ipc_varg_sys_gid(value) \ 118 ipc_varg_umword(ipc_varg_sys_gid_t, value) 119 120 EXTERN_C_END 121 122 // vim: tabstop=2 expandtab shiftwidth=2