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 /* unsigned long is a 64-bit type. 31 See: pkg/l4re-core/l4sys/include/l4int.h */ 32 33 /* Types for file access (access flags, offsets) and IPC operations. */ 34 35 typedef unsigned long flags_t; 36 typedef unsigned long offset_t; 37 typedef l4_addr_t address_t; /* unsigned long */ 38 39 /* Dataspace mapping flags. 40 See: pkg/l4re-core/l4re_c/include/dataspace.h */ 41 42 typedef unsigned long map_flags_t; /* 64-bit */ 43 44 /* Types and values for notification. */ 45 46 typedef unsigned long notify_flags_t; 47 48 enum notify_flags 49 { 50 NOTIFY_CONTENT_AVAILABLE = 1, /* reading files and pipes */ 51 NOTIFY_SPACE_AVAILABLE = 2, /* writing pipes */ 52 NOTIFY_PEER_CLOSED = 4, /* closing files and pipes */ 53 NOTIFY_FILE_OPENED = 8, /* opening files in directories */ 54 }; 55 56 /* Filesystem object properties. */ 57 58 typedef unsigned long object_flags_t; 59 60 enum object_flags 61 { 62 OBJECT_SUPPORTS_MMAP = 1, 63 OBJECT_HAS_SIZE = 2 64 }; 65 66 /* Memory mapping protection flags compatible with sys/mman.h (and incompatible 67 with comparable L4Re flags). */ 68 69 typedef unsigned long prot_t; 70 71 enum prot_flags 72 { 73 PROT_NONE = 0, 74 PROT_READ = 1, 75 PROT_WRITE = 2, 76 PROT_EXEC = 4 77 }; 78 79 /* Equivalent types are defined in sys/types.h typically. In newlib, they are 80 defined in sys/_types.h if not defined elsewhere (such as in 81 machine/_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 unsigned long int 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