Constant GNTTABOP_dump_table 

pub const GNTTABOP_dump_table: u32 = 3;