ACPI_FADT_WBINVD (reference) in projects: rk3399_rockchip-uboot

Searched refs:ACPI_FADT_WBINVD (Results 1 – 3 of 3) sorted by relevance

/rk3399_rockchip-uboot/arch/x86/cpu/quark/
H A D	acpi.c	`60 fadt->flags = ACPI_FADT_WBINVD \| ACPI_FADT_C1_SUPPORTED \| in acpi_create_fadt()`
/rk3399_rockchip-uboot/arch/x86/cpu/baytrail/
H A D	acpi.c	`65 fadt->flags = ACPI_FADT_WBINVD \| ACPI_FADT_C1_SUPPORTED \| in acpi_create_fadt()`
/rk3399_rockchip-uboot/arch/x86/include/asm/
H A D	acpi_table.h	`88 #define ACPI_FADT_WBINVD (1 << 0) macro`