Type Definition efi_ffi::UINT64

type UINT64 = u64;