Searched refs:smap0 (Results 1 – 3 of 3) sorted by relevance
14 config nfsnetbsd root on smap0 type nfs
1589 sm_state_map *smap0 = s0.m_checker_states[0]; in test_program_state_merging_2() local1591 smap0->set_global_state (TEST_STATE_0); in test_program_state_merging_2()1592 ASSERT_EQ (smap0->get_global_state (), TEST_STATE_0); in test_program_state_merging_2()
1752 sm_state_map *smap0 = s0.m_checker_states[0]; in test_program_state_merging_2() local1753 smap0->set_global_state (TEST_STATE_0); in test_program_state_merging_2()1754 ASSERT_EQ (smap0->get_global_state (), TEST_STATE_0); in test_program_state_merging_2()