pub const VGCF_IN_SYSCALL: u32 = 256;