auxv_base_platform
if (!strcmp(auxv_base_platform(), "power9"))
else if (!strcmp(auxv_base_platform(), "power10"))
else if (!strcmp(auxv_base_platform(), "power11"))
char *base_platform = auxv_base_platform();