Most likely it's something like x86 PAE, where each process has a 32-bit address space and the page table just has a few extra bits to map into a >4GB physical

Most likely it's something like x86 PAE, where each process has a 32-bit address space and the page table just has a few extra bits to map into a >4GB physical address space.