Constant xen_sys::XENFEAT_writable_page_tables

pub const XENFEAT_writable_page_tables: u32 = 0;