2008-02-18 16:35:44
by Bjorn Helgaas
print_fn_descriptor_symbol() prints the address if we don't have a symbol, so no need to print both. --