Just found the PS4 kernel page size is 4K, not 16K

[ultimaweapon]

The corresponding call in FreeBSD:

        wakeaddr = contigmalloc(4 * PAGE_SIZE, M_DEVBUF, M_WAITOK, 0x500,
            0xa0000, PAGE_SIZE, 0ul);

I wonder why the PS4 emulate 16K page size in the other places.

[red-prig]

Porting problem? Does ps4 even have acpi? Will this code even run?

[ultimaweapon]

AFAICT the PS4 has ACPI. Recently I found out the x86-64 does not support 16K page size at a hardware level while developing a hypervisor to run our kernel mode kernel. This issue bugged me for awhile because everywhere I saw in the PS4 kernel use 16K page size. My first theory is Sony request this special page size from AMD but it still does not make sense since adding support for 16K page size on x86-64 requires too much changes to the CPU.

[red-prig]

Well, 16 KB can work only at the user mode level, why they did it this way is not very clear