pub const PAGE_SIZE: usize = 4096;
Size in bytes of a UEFI page.
Note that this is not necessarily the processor’s page size. The UEFI page size is always 4 KiB.