PTE_REGISTER_PAGE

sidecar::arch::x86_64::addr_space

Constant PTE_REGISTER_PAGE 

Source 
const PTE_REGISTER_PAGE: usize = 7;