static void __exit exit_em86_binfmt(void)
{
#ifdef CONFIG_KRG_EPM
krgsyms_unregister(KRGSYMS_BINFMTS_EM86);
#endif
unregister_binfmt(&em86_format);
}
static void __exit exit_som_binfmt(void)
{
/* Remove the SOM loader. */
#ifdef CONFIG_KRG_EPM
krgsyms_unregister(KRGSYMS_BINFMTS_SOM);
#endif
unregister_binfmt(&som_format);
}
static int __init init_som_binfmt(void)
{
#ifdef CONFIG_KRG_EPM
int retval;
krgsyms_register(KRGSYMS_BINFMTS_SOM, &som_format);
retval = register_binfmt(&som_format);
if (retval)
krgsyms_unregister(KRGSYMS_BINFMTS_SOM);
return retval;
#else
return register_binfmt(&som_format);
#endif
}
static int __init init_em86_binfmt(void)
{
#ifdef CONFIG_KRG_EPM
int retval;
krgsyms_register(KRGSYMS_BINFMTS_EM86, &em86_format);
retval = register_binfmt(&em86_format);
if (retval)
krgsyms_unregister(KRGSYMS_BINFMTS_EM86);
return retval;
#else
return register_binfmt(&em86_format);
#endif
}
/** Cleanup of the DSM module.
* @author Renaud Lottiaux
*
* Kill object manager, object server and kddm set manager threads.
*/
void cleanup_kermm (void)
{
printk ("KerMM termination : start\n");
mm_injection_finalize();
mm_server_finalize();
mm_struct_finalize();
krgsyms_unregister (KRGSYMS_VM_OPS_FILE_GENERIC);
special_mapping_vm_ops_krgsyms_unregister ();
krgsyms_unregister (KRGSYMS_VM_OPS_MEMORY_KDDM_VMOPS);
krgsyms_unregister (KRGSYMS_ARCH_UNMAP_AREA);
krgsyms_unregister (KRGSYMS_ARCH_UNMAP_AREA_TOPDOWN);
krgsyms_unregister (KRGSYMS_ARCH_GET_UNMAP_AREA);
krgsyms_unregister (KRGSYMS_ARCH_GET_UNMAP_AREA_TOPDOWN);
printk ("KerMM termination done\n");
}
int hrtimer_krgsyms_unregister(void)
{
return krgsyms_unregister(KRGSYMS_HRTIMER_NANOSLEEP_RESTART);
}
