pub const VM_PAGE_QUERY_PAGE_CS_NX: i32 = 0x400;