Searched refs:arm_boot_arch (Results 1 – 3 of 3) sorted by relevance
79 uint16_t arm_boot_arch; /* ARM_BOOT_ARCH */ member
781 fadt.arm_boot_arch = 0; in build_fadt_rev6()784 fadt.arm_boot_arch = ACPI_FADT_ARM_PSCI_COMPLIANT | in build_fadt_rev6()788 fadt.arm_boot_arch = ACPI_FADT_ARM_PSCI_COMPLIANT; in build_fadt_rev6()
2211 build_append_int_noprefix(tbl, f->arm_boot_arch, 2); /* ARM_BOOT_ARCH */ in build_fadt()