Type Definition libc::cpu_type_t

type cpu_type_t = integer_t;