Searched refs:GPS_operations_destroy_shell (Results 1 – 1 of 1) sorted by relevance
16936 void GPS_operations_destroy_shell( Widget UNUSED(widget), XtPointer clientData, XtPointer UNUSED(ca… function17105 GPS_operations_destroy_shell(widget,clientData,callData);17116 GPS_operations_destroy_shell(widget,clientData,callData);17439 GPS_operations_destroy_shell,