uefi-ref/edk2
1
0
Fork 0
mirror of https://github.com/tianocore/edk2 synced 2026-08-27 00:23:19 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

OvmfPkg/OvmfXen: Add missing Xen's sched.h include

Browse source 
BaseResetShutdownXen.c relies on XEN_SCHEDOP_SHUTDOWN which is included
in IndustryStandard/Xen/sched.h.

Signed-off-by: Teddy Astie <teddy.astie@vates.tech>
This commit is contained in:
Teddy Astie 2026-01-19 15:46:34 +01:00 • committed by mergify[bot]
parent 79eab6ffff
commit ff9bd64b9d
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
OvmfPkg/Library/ResetSystemLib/BaseResetShutdownXen.c
View file

@ -10,6 +10,7 @@
#include <Base.h> // BIT13
#include <IndustryStandard/Xen/sched.h>
#include <Library/BaseLib.h> // CpuDeadLoop()
#include <Library/DebugLib.h> // ASSERT()
#include <Library/IoLib.h> // IoOr16()