kernel_symbol_value
return ks && kernel_symbol_value(ks) == value;
return (void *)kernel_symbol_value(fsa.sym);
sym[i].st_value = kernel_symbol_value(ksym);