/* iad_txb.c */

/* Dump the state of the tx backlog */

#include <stdio.h>
#include <fcntl.h>

#include "ia_conf.h"
#include "ia_flip.h"
#include "ia_fred.h"
#include "ia_suni.h"
#include "ia_dbg.h"
#include "ia_cs.h"
#include "ia_comm.h"

fl_internal_t flipper;

main()
{
   int fd;
   int len;
   int i;
   int j;

   fd = open("/dev/ia5515", O_RDWR);
   len = ioctl(fd, IA_DUMPTXB, &flipper);

}