void register_watchdogs(void)

{

    wdt_ib700_init();

    wdt_i6300esb_init();

}

void register_watchdogs(void)

{

    wdt_ib700_init();

    wdt_i6300esb_init();

}

void register_watchdogs(void)     wdt_ib700_init();     wdt_i6300esb_init();
void FUNC_0(void)

{

    wdt_ib700_init();

    wdt_i6300esb_init();

}

void FUNC_0(void)
{ wdt_ib700_init(); wdt_i6300esb_init(); }