234 	efi_system_table_t *efi_systab;  in sys_fw_init()  local
262 	efi_systab  = (void *) cp; cp += sizeof(*efi_systab);  in sys_fw_init()
280 	memset(efi_systab, 0, sizeof(*efi_systab));  in sys_fw_init()
281 	efi_systab->hdr.signature = EFI_SYSTEM_TABLE_SIGNATURE;  in sys_fw_init()
282 	efi_systab->hdr.revision  = ((1 << 16) | 00);  in sys_fw_init()
283 	efi_systab->hdr.headersize = sizeof(efi_systab->hdr);  in sys_fw_init()
284 	efi_systab->fw_vendor = __pa("H\0e\0w\0l\0e\0t\0t\0-\0P\0a\0c\0k\0a\0r\0d\0\0");  in sys_fw_init()
285 	efi_systab->fw_revision = 1;  in sys_fw_init()
286 	efi_systab->runtime = (void *) __pa(efi_runtime);  in sys_fw_init()
287 	efi_systab->nr_tables = 1;  in sys_fw_init()
288 	efi_systab->tables = __pa(efi_tables);  in sys_fw_init()
360 	bp->efi_systab = __pa(&fw_mem);  in sys_fw_init()