Searched refs:rs_code (Results 1 – 3 of 3) sorted by relevance
75 mp_int_t rs_code = aos_hal_wdg_init(dev); in machine_wdt_make_new() local76 if (rs_code != 0) { in machine_wdt_make_new()77 mp_raise_OSError(rs_code); in machine_wdt_make_new()
53 mp_int_t rs_code = aos_hal_wdg_init(dev); in machine_wdt_make_new() local54 if (rs_code != 0) { in machine_wdt_make_new()55 mp_raise_OSError(rs_code); in machine_wdt_make_new()
Completed in 8 milliseconds