82 void puts(const char *str)  in puts()  function
197 	puts("\ngdt: ");  in get_codeseg32()
199 	puts(", addr: ");  in get_codeseg32()
205 		puts("\n");  in get_codeseg32()
207 		puts(": ");  in get_codeseg32()
209 		puts("  ");  in get_codeseg32()
212 	puts("\n ");  in get_codeseg32()
213 	puts("32-bit code segment: ");  in get_codeseg32()
215 	puts("\n ");  in get_codeseg32()
217 	puts("page_table: ");  in get_codeseg32()
219 	puts("\n ");  in get_codeseg32()
222 		puts("Can't find 32-bit code segment\n");  in get_codeseg32()
240 		puts(" No memory for info table: ");  in setup_info_table()
287 		printhex2(ret); puts(" efi_init() failed\n");  in efi_main()
302 		puts(" No memory map\n");  in efi_main()
309 		puts(" No memory for memory descriptor: ");  in efi_main()
319 		puts(" Can't get memory map\n");  in efi_main()
332 		puts(" Can't exit boot services\n");  in efi_main()
338 			puts(" Can't get memory map\n");  in efi_main()
344 			puts(" Can't exit boot services 2\n");  in efi_main()
362 	puts("EFI table at ");  in efi_main()
364 	puts(" size ");  in efi_main()