Searched refs:xfirmware_ctrl (Results 1 – 3 of 3) sorted by relevance
226 ACPI_STORE_ADDRESS (local_fadt->xfirmware_ctrl, local_fadt->V1_firmware_ctrl); in acpi_tb_convert_fadt1()326 if (!(local_fadt->xfirmware_ctrl)) { in acpi_tb_convert_fadt2()327 ACPI_STORE_ADDRESS (local_fadt->xfirmware_ctrl, local_fadt->V1_firmware_ctrl); in acpi_tb_convert_fadt2()
267 address.pointer.value = acpi_gbl_FADT->xfirmware_ctrl; in acpi_tb_get_required_tables()
185 u64 xfirmware_ctrl; /* 64-bit physical address of FACS */ member