Hi, On 8/20/25 3:29 AM, Jonathan Cameron wrote: > diff --git a/drivers/cache/Kconfig b/drivers/cache/Kconfig > index 4551b28e14dd..158d3819004e 100644 > --- a/drivers/cache/Kconfig > +++ b/drivers/cache/Kconfig > @@ -3,6 +3,13 @@ menu "Cache Drivers" > > if GENERIC_CPU_CACHE_MAINTENANCE > > +config ACPI_CACHE_CONTROL > + tristate "ACPI cache maintenance" > + depends on ARM64 && ACPI > + help If there is a v4, please use one tab to indent the 3 lines above. > + ACPI0019 device ID in DSDT identifies an interface that may be used and tab + 2 spaces to indent the 1 line above. > + to carry out certain forms of cache flush operation. -- ~Randy
