get_cpu_asid_bits   67 arch/arm64/mm/context.c 	u32 asid = get_cpu_asid_bits();
get_cpu_asid_bits  251 arch/arm64/mm/context.c 	asid_bits = get_cpu_asid_bits();