1.1 --- a/types.h Thu Aug 11 23:57:02 2022 +0200
1.2 +++ b/types.h Tue Sep 13 00:53:05 2022 +0200
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * Type representations for interfaces.
1.6 *
1.7 - * Copyright (C) 2019 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2019, 2022 Paul Boddie <paul@boddie.org.uk>
1.9 *
1.10 * This program is free software; you can redistribute it and/or
1.11 * modify it under the terms of the GNU General Public License as
1.12 @@ -23,15 +23,16 @@
1.13
1.14 /* General capability type. */
1.15
1.16 -#define L4_CAP_TYPE "l4_cap_idx_t"
1.17 +#define L4_CAP_TYPE "l4_cap_idx_t"
1.18
1.19 /* A flexpage type that can hold extra information (such as the "hot spot"). */
1.20
1.21 -#define L4_FPAGE_TYPE "l4_snd_fpage_t"
1.22 +#define L4_FPAGE_TYPE "l4_snd_fpage_t"
1.23
1.24 -/* General word type. */
1.25 +/* IPC opcode type. */
1.26
1.27 -#define L4_WORD_TYPE "l4_umword_t"
1.28 +#define L4_OPCODE_TYPE "l4_uint32_t"
1.29 +#define L4_OPCODE_PADDING_TYPE "l4_uint32_t"
1.30
1.31 /* Specifier values. */
1.32