[−][src]Type Definition efi_ffi::boot_services::EFI_SET_WATCHDOG_TIMER

type EFI_SET_WATCHDOG_TIMER = *const NOT_DEFINED;