src/boot/efi/vmm.h


1
2
3
4
5
6
7

/* SPDX-License-Identifier: LGPL-2.1-or-later */
#pragma once

#include <efi.h>
#include <efilib.h>

bool is_direct_boot(EFI_HANDLE device);