#include <stdio.h>
#include <stdlib.h>

#include <string.h>
#include <stdint.h>

#include <hardware.h>

#include <physio.h>

struct dskinfo_t info;

static void hddIT()
{
  return;
}

void format_disk()
{
  int i;
  unsigned int val=1;

  printf("Formatage de HDA (Cylindres# : %d, Secteurs# : %d, Taille Sec : %d) avec la valeure %u\n",
	 info.nb_cyl,
	 info.nb_sec,
	 info.taille_sec,
	 val);

  printf("Formatage : 0%%");

  for(i=0;i<info.nb_cyl;i++)
    {
      printf("\rFormatage : %d%%", (i*100/info.nb_cyl));
      fflush(stdout);
      format_sector(i, 0, info.nb_sec, val);
    }

  printf("\rFormatage : 100%%\n");
}


int main(int argc, char *argv[])
{

  /* init hardware */
  if(initHardware("hardware.ini") == 0) {
    fprintf(stderr, "Error in hardware initialization\n");
    exit(EXIT_FAILURE);
  }

  IRQVECTOR[HDA_IRQ] = hddIT;

  /* Allows all IT */
  _mask(1);

  info = dskinfo();

  format_disk();
  
  return EXIT_SUCCESS;
}