void devLibPCIRegisterBaseDefault(void) { devLibPCIRegisterDriver(&pvxworksPCI); }
void devLibPCIRegisterBaseDefault(void) { devLibPCIRegisterDriver(&plinuxPCI); }