O'Reilly logo

FreeBSD Device Drivers by Joseph Kong

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 11. Case Study: Intelligent Platform Management Interface Driver

image with no caption

This chapter examines parts of ipmi(4), the Intelligent Platform Management Interface (IPMI) driver. The IPMI specification defines a standard for monitoring and managing system hardware.

Note

For our purposes, this description of IPMI is sufficient, as the point of this chapter is to demonstrate how PCI drivers such as ipmi(4) employ PMIO and MMIO.

The code base for ipmi(4) is composed of 10 source files and 1 header file. In this chapter, we’ll walk through one of these files, ipmi_pci.c, which contains code that’s related to the PCI bus.

Code Analysis

Example 11-1 provides a ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required