Constant PHP_HAVE_BUILTIN_CPU_INIT 

pub const PHP_HAVE_BUILTIN_CPU_INIT: u32 = 1;