X64_PAGE_SHIFT

openhcl_boot::arch::x86_64::address_space

Constant X64_PAGE_SHIFT 

Source 
const X64_PAGE_SHIFT: u64 = 12;