Type Alias xc_cpu_to_socket_t 

pub type xc_cpu_to_socket_t = u32;