sidecar::arch::x86_64::addr_space

Constant PTE_CONTROL_PAGE

Source 
const PTE_CONTROL_PAGE: usize = 6;