Refactor TLBIVAX and add tlbsx.