[SPARC64]: Make tsb_sync() mm comparison more precise.