system76_ec.h

Go to the documentation of this file.

#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_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