Lines Matching refs:endusershell
896 extern void endusershell (void) __THROW; /* Discard cached info. */
