Type Definition uefi_ffi::PXE_u64

type PXE_u64 = u64;