ipmi_device
struct ipmi_device *dev;
dev = malloc(sizeof(struct ipmi_device), M_IPMI, M_WAITOK | M_ZERO);
struct ipmi_device *dev;
ipmi_purge_completed_requests(struct ipmi_device *dev)
struct ipmi_device *dev;
struct ipmi_device *dev;
ipmi_init_request(struct ipmi_request *req, struct ipmi_device *dev, long msgid,
ipmi_alloc_request(struct ipmi_device *dev, long msgid, uint8_t addr,
struct ipmi_device *dev;
void ipmi_init_request(struct ipmi_request *, struct ipmi_device *, long,
struct ipmi_request *ipmi_alloc_request(struct ipmi_device *, long, uint8_t,
struct ipmi_device;
struct ipmi_device *ir_owner; /* Driver uses NULL. */
TAILQ_ENTRY(ipmi_device) ipmi_link;