28 lines
538 B
C
28 lines
538 B
C
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
|
|
#ifndef __POST_H__
|
|
#define __POST_H__
|
|
|
|
#include <stdint.h>
|
|
#include <device/device.h>
|
|
|
|
void cmos_post_init(void);
|
|
void cmos_post_code(u8 value);
|
|
void cmos_post_extra(u32 value);
|
|
void cmos_post_path(const struct device *dev);
|
|
int cmos_post_previous_boot(u8 *code, u32 *extra);
|
|
|
|
static inline void post_log_path(const struct device *dev)
|
|
{
|
|
if (CONFIG(CMOS_POST) && dev)
|
|
cmos_post_path(dev);
|
|
}
|
|
|
|
static inline void post_log_clear(void)
|
|
{
|
|
if (CONFIG(CMOS_POST))
|
|
cmos_post_extra(0);
|
|
}
|
|
|
|
#endif
|