PAGE_SIZE_4K

openhcl_boot::memory

Constant PAGE_SIZE_4K 

Source 
const PAGE_SIZE_4K: u64 = 4096;