Searched refs:machine_state (Results 1 – 1 of 1) sorted by relevance
22 volatile uint32_t machine_state __attribute__((section(NOINIT_SECTION))); variable245 sys_cache_data_flush_range((void *) &machine_state, sizeof(machine_state)); in test_reset_software()299 sys_cache_data_flush_range((void *) &machine_state, sizeof(machine_state)); in test_reset_watchdog()341 sys_cache_data_flush_range((void *) &machine_state, sizeof(machine_state)); in test_reset_cpu_lockup()389 machine_state = 0; in main()395 while (machine_state <= LAST_STATE) { in main()396 LOG_DBG("machine_state = %u", machine_state); in main()401 switch (machine_state) { in main()404 machine_state++; in main()408 machine_state++; in main()[all …]