Searched refs:patch_bytes (Results 1 – 2 of 2) sorted by relevance
618 uint32_t *patch_bytes = (uint32_t *)(lib_addr + offset); local619 uint32_t orig_bytes = *patch_bytes;621 *patch_bytes = 0xd4200000; // replace instruction with debug trap
44 ; CHECK-NOT: statepoint-num-patch_bytes