binfmt/pcode.c
/****************************************************************************
 * Name: pcode_uninitialize
 *
 * Description:
 *   Unregister the pcode binary loader
 *
 * Returned Value:
 *   None
 *
 ****************************************************************************/
pcode_uninitialize
Description:
Unregister the pcode binary loader

Returned Value:
None
pcode_uninitialize Description : Unregister the pcode binary loader Returned Value : None
void pcode_uninitialize(void)
{
  int ret;
  ret = unregister_binfmt(&g_pcode_binfmt);
  if (ret < 0)
    {
      int errval = get_errno();
      DEBUGASSERT(errval > 0);
      bdbg("ERROR: unregister_binfmt() failed: %d\n", errval);
      UNUSED(errval);
    }
#ifdef CONFIG_PCODE_TEST_FS
  ret = umount(CONFIG_PCODE_TEST_MOUNTPOINT);
  if (ret < 0)
    {
      int errval = get_errno();
      DEBUGASSERT(errval > 0);
      bdbg("ERROR: umount(%s) failed: %d\n", CONFIG_PCODE_TEST_MOUNTPOINT, errval);
      UNUSED(errval);
    }
#endif
  sem_destroy(&g_pcode_handoff.exclsem);
}
void pcode_uninitialize ( void ) { int ret ; ret = unregister_binfmt ( & g_pcode_binfmt ) ; if ( ret < 0 ) { int errval = get_errno ( ) ; DEBUGASSERT ( errval > 0 ) ; bdbg ( " \n " , errval ) ; UNUSED ( errval ) ; } #ifdef CONFIG_PCODE_TEST_FS ret = umount ( CONFIG_PCODE_TEST_MOUNTPOINT ) ; if ( ret < 0 ) { int errval = get_errno ( ) ; DEBUGASSERT ( errval > 0 ) ; bdbg ( " \n " , CONFIG_PCODE_TEST_MOUNTPOINT , errval ) ; UNUSED ( errval ) ; } #endif sem_destroy ( & g_pcode_handoff . exclsem ) ; }
Name: pcode_uninitialize
 Description:
   Unregister the pcode binary loader
Name : pcode_uninitialize Description : Unregister the pcode binary loader
/* Unregister the binary format */ /* Uninitialize globals */