32 …e RISCV_EFI_BOOT_PROTOCOL_GUID EFI_GUID(0xccd15fec, 0x6f73, 0x4eec,  0x83, 0x95, 0x3e, 0x69, 0xe4,…
65 	unsigned long key = 0, map_size = 0, desc_size = 0;  in efi_get_memory_map()
70 	if (status != EFI_BUFFER_TOO_SMALL || map_size == 0)  in efi_get_memory_map()
112 	for (i = 0; i < efi_system_table->nr_tables; i++) {  in efi_get_system_config_table()
129 	efi_rs_call(reset_system, EFI_RESET_SHUTDOWN, code, 0, NULL);  in efi_exit()
136 	unsigned long cmdline_addr = 0;  in efi_convert_cmdline()
139 	int options_bytes = 0, safe_options_bytes = 0;  /* UTF-8 bytes */  in efi_convert_cmdline()
149 			if (c < 0x80) {  in efi_convert_cmdline()
150 				if (c == L'\0' || c == L'\n')  in efi_convert_cmdline()
166 			options_bytes += 2 + (c >= 0x800);  in efi_convert_cmdline()
169 			 * surrogates will be replaced with 0xfffd and take up  in efi_convert_cmdline()
172 			if ((c & 0xfc00) == 0xd800) {  in efi_convert_cmdline()
180 				} else if ((*s2 & 0xfc00) == 0xdc00) {  in efi_convert_cmdline()
233 	status = root->open(root, &file, path_name, EFI_FILE_MODE_READ, 0);  in efi_load_image()
279 	try_again = 0;  in efi_grow_buffer()
311 		((efi_char16_t *)val)[val_size / sizeof(efi_char16_t)] = L'\0';  in efi_get_var()
321 	int fdtsize = 0;  in efi_get_fdt()
326 		if (fdtsize == 0)  in efi_get_fdt()
332 	return fdt_check_header(fdt) == 0 ? fdt : NULL;  in efi_get_fdt()
366 	unsigned long file_size = 0;  in efi_load_initrd()
369 	initrd_size = 0;  in efi_load_initrd()
417 	int cmdline_size = 0;  in efi_main()
485 	printf("Address of image is: 0x%lx\n", (unsigned long)&_text);  in efi_main()