test_pattern16
#define test_cell_val16 ((unsigned long)test_pattern16 << (index16 * NBBY*2))
#define test_cell_val16 ((unsigned long)test_pattern16 << (48-(index16 * NBBY*2)))
#define test_cell_val16 ((unsigned long)test_pattern16 << (16-(index16 * NBBY*2)))
ATF_REQUIRE(res == test_pattern16);
ATF_REQUIRE_EQ(do_ustore_16(&cell.val16[index16], test_pattern16), 0);
#define test_cell_val16 ((unsigned long)test_pattern16 << (index16 * NBBY*2))
#define test_cell_val16 ((unsigned long)test_pattern16 << (48-(index16 * NBBY*2)))
#define test_cell_val16 ((unsigned long)test_pattern16 << (16-(index16 * NBBY*2)))
ATF_REQUIRE(res == test_pattern16);
ATF_REQUIRE_EQ(do_ustore_16(&cell.val16[index16], test_pattern16), 0);