27 if (CONFIG_MAX_SOCKET > 1) {
32 (
const unsigned char *) &req,
sizeof(req), (
unsigned char *) &rsp,
sizeof(rsp));
cb_err
coreboot error codes
@ CB_ERR
Generic error code.
@ CB_SUCCESS
Call completed successfully.
#define printk(level,...)
struct resource * new_resource(struct device *dev, unsigned int index)
See if a resource structure already exists for a given index and if not allocate one.
void report_resource_stored(struct device *dev, const struct resource *resource, const char *comment)
Print the resource that was just stored.
const char * dev_path(const struct device *dev)
int ipmi_kcs_message(int port, int netfn, int lun, int cmd, const unsigned char *inmsg, int inlen, unsigned char *outmsg, int outlen)
static void enable_dev(struct device *dev)
static void ipmi_read_resources(struct device *dev)
static struct device_operations ops
static void ipmi_ocp_final(struct device *dev)
static void ipmi_set_resources(struct device *dev)
static enum cb_err ipmi_set_ppin(struct device *dev)
static void ipmi_ocp_init(struct device *dev)
struct chip_operations drivers_ipmi_ocp_ops
#define IPMI_OEM_SET_PPIN
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
#define BIOS_ERR
BIOS_ERR - System in incomplete state.
#define IORESOURCE_STORED
#define IORESOURCE_ASSIGNED
void(* read_resources)(struct device *dev)
enum device_path_type type
struct device_operations * ops
DEVTREE_CONST struct resource * resource_list
DEVTREE_CONST struct resource * next