356 	ppc_inst_t inst64 = ppc_inst_prefix(OP_PREFIX << 26 | 3UL << 24, PPC_RAW_TRAP());  in test_multi_instruction_patching()  local
376 		check(ppc_inst_prefixed(inst64));  in test_multi_instruction_patching()
379 		ppc_inst_write(code, inst64);  in test_multi_instruction_patching()
383 		check(ppc_inst_equal(ppc_inst_read((u32 *)&addr64[1]), inst64));  in test_multi_instruction_patching()
384 		check(ppc_inst_equal(ppc_inst_read((u32 *)&addr64[2]), inst64));  in test_multi_instruction_patching()
385 		check(ppc_inst_equal(ppc_inst_read((u32 *)&addr64[3]), inst64));  in test_multi_instruction_patching()
413 		check(ppc_inst_prefixed(inst64));  in test_multi_instruction_patching()
416 		ppc_inst_write(code, inst64);  in test_multi_instruction_patching()
420 		check(ppc_inst_equal(ppc_inst_read((u32 *)&addr64[1]), inst64));  in test_multi_instruction_patching()
421 		check(ppc_inst_equal(ppc_inst_read((u32 *)&addr64[2]), inst64));  in test_multi_instruction_patching()
422 		check(ppc_inst_equal(ppc_inst_read((u32 *)&addr64[3]), inst64));  in test_multi_instruction_patching()