
15 Dec
2023
15 Dec
'23
7:44 p.m.
On Fri, Dec 15, 2023 at 07:26:55PM +0100, Heinrich Schuchardt wrote:
Fields X_FIRMWAE_CTRL and X_DSDT must be 64bit wide. Convert pointers to to uintptr_t to fill these.
If field X_FIRMWARE_CTRL is filled, field FIRMWARE must be ignored. If field X_DSDT is filled, field DSDT must be ignored. We should not fill unused fields.
...
v2: no change
Have you seen my email?
--
With Best Regards,
Andy Shevchenko