18 void acpi_create_fadt(struct acpi_fadt *fadt, struct acpi_facs *facs,  in acpi_create_fadt()  argument
21 	struct acpi_table_header *header = &(fadt->header);  in acpi_create_fadt()
23 	memset((void *)fadt, 0, sizeof(struct acpi_fadt));  in acpi_create_fadt()
29 	fadt->firmware_ctrl = (u32)facs;  in acpi_create_fadt()
30 	fadt->dsdt = (u32)dsdt;  in acpi_create_fadt()
31 	fadt->preferred_pm_profile = ACPI_PM_UNSPECIFIED;  in acpi_create_fadt()
33 	fadt->iapc_boot_arch = ACPI_FADT_VGA_NOT_PRESENT |  in acpi_create_fadt()
35 	fadt->flags =  in acpi_create_fadt()
41 	fadt->minor_revision = 2;  in acpi_create_fadt()
43 	fadt->x_firmware_ctl_l = (u32)facs;  in acpi_create_fadt()
44 	fadt->x_firmware_ctl_h = 0;  in acpi_create_fadt()
45 	fadt->x_dsdt_l = (u32)dsdt;  in acpi_create_fadt()
46 	fadt->x_dsdt_h = 0;  in acpi_create_fadt()
48 	header->checksum = table_compute_checksum(fadt, header->length);  in acpi_create_fadt()