Constant php_all_sys::php72::GC_INFO_SHIFT[−][src]

pub const GC_INFO_SHIFT: u32 = 16;