Bad driver

    ...

    //
    // Make the call and return.
    //

    status = IopSynchronousCall(DeviceObject, &irpSp, &busInfo);
    if (NT_SUCCESS(status)) {

        if (busInfo == NULL) {

            //
            // The device driver LIED to us.  Bad, bad, bad device driver.
            //

            ...