464 	static efi_system_table_t *efi_systab;  in sys_fw_init()  local
511 	efi_systab  = (void *) cp; cp += ALIGN8(sizeof(*efi_systab));  in sys_fw_init()
551 	memset(efi_systab, 0, sizeof(efi_systab));  in sys_fw_init()
552 	efi_systab->hdr.signature = EFI_SYSTEM_TABLE_SIGNATURE;  in sys_fw_init()
553 	efi_systab->hdr.revision  = EFI_SYSTEM_TABLE_REVISION;  in sys_fw_init()
554 	efi_systab->hdr.headersize = sizeof(efi_systab->hdr);  in sys_fw_init()
555 	efi_systab->fw_vendor = __fwtab_pa(base_nasid, vendor);  in sys_fw_init()
556 	efi_systab->fw_revision = 1;  in sys_fw_init()
557 	efi_systab->runtime = __fwtab_pa(base_nasid, efi_runtime);  in sys_fw_init()
558 	efi_systab->nr_tables = 2;  in sys_fw_init()
559 	efi_systab->tables = __fwtab_pa(base_nasid, efi_tables);  in sys_fw_init()
753 	bp->efi_systab = __fwtab_pa(base_nasid, &fw_mem);  in sys_fw_init()