brand_info       1178 arch/ia64/include/asm/pal.h ia64_pal_get_brand_info (char *brand_info)
brand_info       1181 arch/ia64/include/asm/pal.h 	PAL_CALL_STK(iprv, PAL_BRAND_INFO, 0, (u64)brand_info, 0);