Type Definition vmread_sys_kmod::__uint32_t

type __uint32_t = u32;