[PATCH] PCI Error Recovery: header file patch