Searched refs:buffer32 (Results 1 – 1 of 1) sorted by relevance
28 static int buffer32[] = { 1, 2, 3, 4 }; variable65 res = loadw_aq(&buffer32[0]); in test_loadw_aq()67 res = loadw_aq(&buffer32[1]); in test_loadw_aq()97 release_at(&buffer32[2]); in test_release_at()98 check64(buffer32[2], 3); in test_release_at()99 release_at(&buffer32[3]); in test_release_at()100 check64(buffer32[3], 4); in test_release_at()111 release_st(&buffer32[2]); in test_release_st()112 check64(buffer32[2], 3); in test_release_st()113 release_st(&buffer32[3]); in test_release_st()[all …]