[efi] Disable EFI watchdog timer when shutting down to boot an OS
[ipxe.git] / src / include / cpu.h
1 #ifndef CPU_H
2 #define CPU_H
3
4 #include "bits/cpu.h"
5
6 #endif /* CPU_H */