+bool ipmi_bootdev_is_valid(int x);
+struct ipmi *ipmi_open(void *ctx);
+
+int ipmi_transaction(struct ipmi *ipmi, uint8_t netfn, uint8_t cmd,
+ uint8_t *req_buf, uint16_t req_len,
+ uint8_t *resp_buf, uint16_t *resp_len,
+ int timeout_ms);
+
+int parse_ipmi_interface_override(struct config *config, uint8_t *buf,
+ uint16_t len);
+