1 /*
2  * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef CONSOLE_ASSERTIONS_H
8 #define CONSOLE_ASSERTIONS_H
9 
10 #include <lib/cassert.h>
11 
12 /*
13  * This file contains some separate assertions about console_t, moved here to
14  * keep them out of the way. Should only be included from <console.h>.
15  */
16 CASSERT(CONSOLE_T_NEXT == __builtin_offsetof(console_t, next),
17 	assert_console_t_next_offset_mismatch);
18 CASSERT(CONSOLE_T_FLAGS == __builtin_offsetof(console_t, flags),
19 	assert_console_t_flags_offset_mismatch);
20 CASSERT(CONSOLE_T_PUTC == __builtin_offsetof(console_t, putc),
21 	assert_console_t_putc_offset_mismatch);
22 #if ENABLE_CONSOLE_GETC
23 CASSERT(CONSOLE_T_GETC == __builtin_offsetof(console_t, getc),
24 	assert_console_t_getc_offset_mismatch);
25 #endif
26 CASSERT(CONSOLE_T_FLUSH == __builtin_offsetof(console_t, flush),
27 	assert_console_t_flush_offset_mismatch);
28 CASSERT(CONSOLE_T_DRVDATA == sizeof(console_t),
29 	assert_console_t_drvdata_offset_mismatch);
30 
31 #endif /* CONSOLE_ASSERTIONS_H */
32