remove_marker 725 kernel/marker.c remove_marker(name); /* Ignore busy error message */ remove_marker 803 kernel/marker.c remove_marker(entry->name); /* Ignore busy error message */