return dmi_get_system_info(field) ? : "N/A"; 
char *dmi_data = dmi_get_system_info(field);  return dmi_data && *dmi_data ? dmi_data : "?"; 
static inline char *i8k_get_dmi_data(int field){	return dmi_get_system_info(field) ? : "N/A";}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4f005551a8fac21b6fec8d10d57cd12d373d79e1/i8k.c/buggy/drivers/char/i8k.c