Searching in tcg/aarch64