On Friday, August 19, 2022 1:31 PM, Borislav Petkov wrote: > > When the system does not implement ACPI GHES table, > > which I suppose is most of the case on ARM. > > That should be detected in ghes_get_devices() - just like on x86. Agreed. And that is the check to ghes_present flag... Toshi