/* This function will handle the uninitalization of any architecture specific callbacks, for dynamic registration and unregistration.  */
void kgdb_arch_exit(void)
/* This function will handle the uninitalization of any architecture specific callbacks, for dynamic registration and unregistration.  */
void kgdb_arch_exit(void)
{
	int i;
	for (i = 0; i < 4; i++) {
		if (breakinfo[i].pev) {
			unregister_wide_hw_breakpoint(breakinfo[i].pev);
			breakinfo[i].pev = NULL;
		}
	}
	unregister_die_notifier(&kgdb_notifier);
}