1 /* SPDX-License-Identifier: GPL-2.0-only */
7 #include <device/device.h>
9 void cmos_post_init(void);
10 void cmos_post_code(u8 value
);
11 void cmos_post_extra(u32 value
);
12 void cmos_post_path(const struct device
*dev
);
13 int cmos_post_previous_boot(u8
*code
, u32
*extra
);
15 static inline void post_log_path(const struct device
*dev
)
17 if (CONFIG(CMOS_POST
) && dev
)
21 static inline void post_log_clear(void)
23 if (CONFIG(CMOS_POST
))