Type Definition uefi_ffi::PXE_IPV4

type PXE_IPV4 = PXE_u32;