cmdline_addr      814 drivers/firmware/efi/libstub/efi-stub-helper.c 	unsigned long cmdline_addr = 0;
cmdline_addr      839 drivers/firmware/efi/libstub/efi-stub-helper.c 				&cmdline_addr, MAX_CMDLINE_ADDRESS);
cmdline_addr      843 drivers/firmware/efi/libstub/efi-stub-helper.c 	s1 = (u8 *)cmdline_addr;
cmdline_addr      850 drivers/firmware/efi/libstub/efi-stub-helper.c 	return (char *)cmdline_addr;