[][src]Type Definition efi_ffi::INT32

type INT32 = i32;