option_string     506 drivers/firmware/efi/libstub/efi-stub-helper.c 				  char *cmd_line, char *option_string,
option_string     537 drivers/firmware/efi/libstub/efi-stub-helper.c 		str = strstr(str, option_string);
option_string     541 drivers/firmware/efi/libstub/efi-stub-helper.c 		str += strlen(option_string);
option_string     567 drivers/firmware/efi/libstub/efi-stub-helper.c 		str = strstr(str, option_string);
option_string     571 drivers/firmware/efi/libstub/efi-stub-helper.c 		str += strlen(option_string);
option_string    1613 include/linux/efi.h 				  char *cmd_line, char *option_string,