Searching in hw/or1k