BIT_PTE_PRESENT

Constant BIT_PTE_PRESENT 

Source
pub const BIT_PTE_PRESENT: u64 = 1;