Type Definition CCODE::_PROCESSOR_CACHE_TYPE

type _PROCESSOR_CACHE_TYPE = c_int;