#include <tis.h>

    int
    tis_sync (
          unsigned long   efn,
          void   *iosb);