[efi] Disable EFI watchdog timer when shutting down to boot an OS
[ipxe.git] / src / interface / linux /
drwxr-xr-x   ..
-rw-r--r-- 4063 linux_acpi.c
-rw-r--r-- 11538 linux_api.c
-rw-r--r-- 3759 linux_console.c
-rw-r--r-- 2712 linux_entropy.c
-rw-r--r-- 1064 linux_nap.c
-rw-r--r-- 4687 linux_pci.c
-rw-r--r-- 3407 linux_smbios.c
-rw-r--r-- 2258 linux_sysfs.c
-rw-r--r-- 1432 linux_time.c
-rw-r--r-- 2185 linux_timer.c
-rw-r--r-- 1294 linux_uaccess.c
-rw-r--r-- 4373 linux_umalloc.c
-rw-r--r-- 1110 linuxprefix.c