Searched refs:guest_bytes_read (Results 1 – 3 of 3) sorted by relevance
608 UInt guest_bytes_read = (UInt)vta->guest_extents->len[0]; in LibVEX_FrontEnd() local610 guest_bytes_read ); in LibVEX_FrontEnd()611 for (i = 0; i < guest_bytes_read; i++) { in LibVEX_FrontEnd()
656 UInt guest_bytes_read = (UInt)vta->guest_extents->len[0]; in LibVEX_Lift() local658 guest_bytes_read ); in LibVEX_Lift()659 for (i = 0; i < guest_bytes_read; i++) { in LibVEX_Lift()