blob: 00caa31416372aae25b22729f4f01996e57625a8 [file] [log] [blame]
Julius Werner94f89072017-07-31 18:15:11 -07001/*
2 * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
Antonio Nino Diaz5eb88372018-11-08 10:20:19 +00007#ifndef CONSOLE_ASSERTIONS_H
8#define CONSOLE_ASSERTIONS_H
Julius Werner94f89072017-07-31 18:15:11 -07009
Antonio Nino Diaze0f90632018-12-14 00:18:21 +000010#include <lib/cassert.h>
Julius Werner94f89072017-07-31 18:15:11 -070011
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 */
16CASSERT(CONSOLE_T_NEXT == __builtin_offsetof(console_t, next),
17 assert_console_t_next_offset_mismatch);
18CASSERT(CONSOLE_T_FLAGS == __builtin_offsetof(console_t, flags),
19 assert_console_t_flags_offset_mismatch);
20CASSERT(CONSOLE_T_PUTC == __builtin_offsetof(console_t, putc),
21 assert_console_t_putc_offset_mismatch);
22CASSERT(CONSOLE_T_GETC == __builtin_offsetof(console_t, getc),
23 assert_console_t_getc_offset_mismatch);
24CASSERT(CONSOLE_T_FLUSH == __builtin_offsetof(console_t, flush),
25 assert_console_t_flush_offset_mismatch);
26CASSERT(CONSOLE_T_DRVDATA == sizeof(console_t),
27 assert_console_t_drvdata_offset_mismatch);
28
Antonio Nino Diaz5eb88372018-11-08 10:20:19 +000029#endif /* CONSOLE_ASSERTIONS_H */