Symbol: ADT_HAVE_ASID