/* SPDX-License-Identifier: GPL-2.0-only */ #ifndef CONSOLE_SYSTEM76_EC_H #define CONSOLE_SYSTEM76_EC_H 1 #include <stddef.h> #include <stdint.h> void system76_ec_init(void); void system76_ec_flush(void); void system76_ec_print(uint8_t byte); #define __CONSOLE_SYSTEM76_EC_ENABLE__ (CONFIG(CONSOLE_SYSTEM76_EC) && \ (ENV_BOOTBLOCK || ENV_SEPARATE_ROMSTAGE || ENV_RAMSTAGE \ || ENV_SEPARATE_VERSTAGE || ENV_POSTCAR \ || (ENV_SMM && CONFIG(DEBUG_SMI)))) #if __CONSOLE_SYSTEM76_EC_ENABLE__ static inline void __system76_ec_init(void) { system76_ec_init(); } static inline void __system76_ec_tx_flush(void) { system76_ec_flush(); } static inline void __system76_ec_tx_byte(unsigned char byte) { system76_ec_print(byte); } #else static inline void __system76_ec_init(void) {} static inline void __system76_ec_tx_flush(void) {} static inline void __system76_ec_tx_byte(unsigned char byte) {} #endif #endif