AT_BASE_PLATFORM
NEW_AUX_ENT(AT_BASE_PLATFORM,
unsigned long base_platform = getauxval(AT_BASE_PLATFORM);
return ((char *)get_auxv_entry(AT_BASE_PLATFORM));