Symbol: arch_invalidate_secondary_tlbs