If trying to use 4kb pages, the OS cause a #PF exception when trying to access RSDT items, this is because with 4kb pages we map only the first 4mb, while with 2mb pages we map the first MB.
Ideally all the acpi structures needed by the os should be mapped for the kernel in the higher half, and accessed from there.
If trying to use 4kb pages, the OS cause a #PF exception when trying to access RSDT items, this is because with 4kb pages we map only the first 4mb, while with 2mb pages we map the first MB.
Ideally all the acpi structures needed by the os should be mapped for the kernel in the higher half, and accessed from there.