#include <stdio.h>
#include "pcie40_ecs.h"
#include "pcie40_b2ecs.h"

int main(int argc, char *argv[]) { 
  ecs_open( 0 , 2 ) ;
  int result = 0;
  result = pcie40_resyncb2link( 0 , 0 ) ;
  ecs_close( 0 , 2 ) ;

  if ( 0 == result )
    printf( "Resynchronization failed\n" ) ;
  else
    printf( "Resynchronization succeeded\n" ) ;
    
  return 0 ;
}