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