357 	int ctrl, addr0, tag0, pte0, data0;  in verify_tb_operation()  local
426 	data0 = 0xdeadbeef;  in verify_tb_operation()
427 	page[0] = data0;  in verify_tb_operation()
439 	if (temp != data0) {  in verify_tb_operation()
441 		       "(%#x != %#x)\n", temp, data0);  in verify_tb_operation()
462 	data0 = 0x5adda15e;  in verify_tb_operation()
463 	page[0] = data0;  in verify_tb_operation()
476 	if (temp != data0) {  in verify_tb_operation()
478 		       "(%#x != %#x)\n", temp, data0);  in verify_tb_operation()
486 	data0 = 0xabcdef12;  in verify_tb_operation()
487 	page[0] = data0;  in verify_tb_operation()
502 	} else if (temp != data0) {  in verify_tb_operation()
504 		       "(%#x != %#x)\n", temp, data0);  in verify_tb_operation()