Type Alias bpf_addr_space_cast 

pub type bpf_addr_space_cast = u32;