1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef __POST_H__ 4 #define __POST_H__ 5 6 #include <stdint.h> 7 #include <device/device.h> 8 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); 14 post_log_path(const struct device * dev)15static inline void post_log_path(const struct device *dev) 16 { 17 if (CONFIG(CMOS_POST) && dev) 18 cmos_post_path(dev); 19 } 20 post_log_clear(void)21static inline void post_log_clear(void) 22 { 23 if (CONFIG(CMOS_POST)) 24 cmos_post_extra(0); 25 } 26 27 #endif 28