Lines Matching defs:gEfiShellParametersProtocol
36 EFI_SHELL_PARAMETERS_PROTOCOL *gEfiShellParametersProtocol;
211 (VOID **)&gEfiShellParametersProtocol,
217 gEfiShellParametersProtocol = NULL;
220 if (gEfiShellParametersProtocol == NULL || gEfiShellProtocol == NULL) {
246 (gEfiShellProtocol != NULL && gEfiShellParametersProtocol != NULL) ) {
294 gEfiShellParametersProtocol = NULL;
346 if (gEfiShellParametersProtocol != NULL) {
351 gEfiShellParametersProtocol = NULL;
2259 if (gEfiShellParametersProtocol != NULL) {
2264 (CONST CHAR16**) gEfiShellParametersProtocol->Argv,
2265 gEfiShellParametersProtocol->Argc,
2713 if (gEfiShellParametersProtocol != NULL) {
2714 return (gEfiShellProtocol->WriteFile(gEfiShellParametersProtocol->StdOut, &Size, (VOID*)String));