X64_PTE_DIRTY

openhcl_boot::arch::x86_64::address_space

Constant X64_PTE_DIRTY 

Source 
const X64_PTE_DIRTY: u64 = _; // 64u64