ASID_USER_FIRST
asid += ASID_USER_FIRST;
cpu_asid_cache(cpu) = ASID_USER_FIRST;
cpu_asid_cache(cpu) = ASID_USER_FIRST;
DEFINE_PER_CPU(unsigned long, asid_cache) = ASID_USER_FIRST;
set_rasid_register(ASID_INSERT(ASID_USER_FIRST));