/* This function returns TRUE if the BAR was 64-bit, handle this */
ASSERT((i + 1) < PCI_TYPE0_ADDRESSES);
i++;
- (&Limit[i])->Type == CmResourceTypeNull;
+ Limit[i].Type = CmResourceTypeNull;
}
}
NTAPI
Device_RestoreCurrent(IN PPCI_CONFIGURATOR_CONTEXT Context)
{
+ UNREFERENCED_PARAMETER(Context);
/* Nothing to do for devices */
return;
}
IN PPCI_COMMON_HEADER PciData,
IN PIO_RESOURCE_DESCRIPTOR IoDescriptor)
{
+ UNREFERENCED_PARAMETER(Context);
+ UNREFERENCED_PARAMETER(PciData);
+ UNREFERENCED_PARAMETER(IoDescriptor);
/* Not yet implemented */
- UNIMPLEMENTED;
- while (TRUE);
+ UNIMPLEMENTED_DBGBREAK();
}
VOID
Device_ResetDevice(IN PPCI_PDO_EXTENSION PdoExtension,
IN PPCI_COMMON_HEADER PciData)
{
+ UNREFERENCED_PARAMETER(PdoExtension);
+ UNREFERENCED_PARAMETER(PciData);
/* Not yet implemented */
- UNIMPLEMENTED;
- while (TRUE);
+ UNIMPLEMENTED_DBGBREAK();
}
VOID
Device_ChangeResourceSettings(IN PPCI_PDO_EXTENSION PdoExtension,
IN PPCI_COMMON_HEADER PciData)
{
+ UNREFERENCED_PARAMETER(PdoExtension);
+ UNREFERENCED_PARAMETER(PciData);
/* Not yet implemented */
- UNIMPLEMENTED;
- while (TRUE);
+ UNIMPLEMENTED_DBGBREAK();
}
/* EOF */