Type Definition uefi_ffi::EFI_TPL

type EFI_TPL = usize;