cat / proc / cpuinfo на флаговом процессоре -lm дает
address sizes : 36 bits physical, 48 bits virtual
размер страницы определяется с помощью
#include <unistd.h>
int getpagesize(void);
Дает 4096 байт.
Используя последнюю информацию, я бы подумал, что система использует младшие 12 бит адреса в качестве смещения, а остальные - для преобразования адреса виртуального в физический через TLB и таблицу страниц.
Как информация из cpuinfo связана с размером страницы?