tlbre / tlbwe / tlbsx / tlbsx. variants for the PPC 4xx CPUs.