[−][src]Type Definition uefi_ffi::EFI_ALLOCATE_TYPE

type EFI_ALLOCATE_TYPE = u32;