...
    //
    // 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.
            //
            ... |