4 #include <types/types.h>
8 bool (*probe)(struct platform *, void *);
9 int (*load_config)(struct platform *, struct config *);
10 int (*save_config)(struct platform *, struct config *);
14 int platform_init(void *ctx);
15 int platform_fini(void);
17 /* configuration interface */
18 const struct config *config_get(void);
19 int config_set(struct config *config);
20 void config_set_autoboot(bool autoboot_enabled);
22 /* for use by the platform-specific storage code */
23 void config_set_defaults(struct config *config);
25 #define __platform_ptrname(_n) __platform_ ## _n
26 #define _platform_ptrname(_n) __platform_ptrname(_n)
28 #define register_platform(p) \
29 static __attribute__((section("platforms"))) \
30 __attribute__((used)) \
31 struct platform * _platform_ptrname(__COUNTER__) = &p;
33 #endif /* PLATFORM_H */