+-o ADP2,1  <class IOPlatformExpertDevice, registered, matched, active, busy $
    | {
    |   "IOInterruptControllers" = ("io-apic-0")
    |   "product-name" = <"P25G">
    |   "IOPlatformArgs" = <00809e0000e057000000000000000000>
    |   "version" = <"1.0">
    |   "IOInterruptSpecifiers" = (<0900000007000000>)
    |   "compatible" = <"ADP2,1">
    |   "model" = <"ADP2,1">
    |   "name" = <"/">
    |   "clock-frequency" = <00adb51f>
    |   "manufacturer" = <"PCCHIPS">
    | }