243 	char *cp, *cmd_line;  in sys_fw_init()  local
261 	cp = fw_mem;  in sys_fw_init()
262 	efi_systab  = (void *) cp; cp += sizeof(*efi_systab);  in sys_fw_init()
263 	efi_runtime = (void *) cp; cp += sizeof(*efi_runtime);  in sys_fw_init()
264 	efi_tables  = (void *) cp; cp += sizeof(*efi_tables);  in sys_fw_init()
265 	sal_systab  = (void *) cp; cp += sizeof(*sal_systab);  in sys_fw_init()
266 	sal_ed      = (void *) cp; cp += sizeof(*sal_ed);  in sys_fw_init()
267 	efi_memmap  = (void *) cp; cp += NUM_MEM_DESCS*sizeof(*efi_memmap);  in sys_fw_init()
268 	bp	    = (void *) cp; cp += sizeof(*bp);  in sys_fw_init()
269 	cmd_line    = (void *) cp;  in sys_fw_init()
330 	for (cp = (char *) sal_systab; cp < (char *) efi_memmap; ++cp)  in sys_fw_init()
331 		checksum += *cp;  in sys_fw_init()