BOOLEAN
PiixTimingControl (
    struct _HW_DEVICE_EXTENSION DeviceExtension
    );

BOOLEAN IntelIsChannelEnabled (
    PPCI_COMMON_CONFIG PciData,
    ULONG Channel);