Edit: zend_cpuinfo.h