pub const VGCF_IN_KERNEL: u32 = 4;