[time] Add support for the ACPI power management timer
[ipxe.git] / src / arch / x86 / include /
drwxr-xr-x   ..
-rw-r--r-- 635 basemem.h
-rw-r--r-- 386 basemem_packet.h
-rw-r--r-- 369 bios.h
-rw-r--r-- 1057 bios_disks.h
-rw-r--r-- 968 biosint.h
drwxr-xr-x - bits
-rw-r--r-- 747 bochs.h
-rw-r--r-- 265 bootsector.h
-rw-r--r-- 3788 bzimage.h
-rw-r--r-- 3693 comboot.h
-rw-r--r-- 174 fakee820.h
-rw-r--r-- 611 initrd.h
-rw-r--r-- 8379 int13.h
drwxr-xr-x - ipxe
-rw-r--r-- 244 kir.h
-rw-r--r-- 6950 libkir.h
-rw-r--r-- 12466 librm.h
drwxr-xr-x - linux
-rw-r--r-- 358 memsizes.h
-rw-r--r-- 3729 multiboot.h
-rw-r--r-- 1830 pic8259.h
-rw-r--r-- 225 pnpbios.h
-rw-r--r-- 6129 pxe.h
-rw-r--r-- 51827 pxe_api.h
-rw-r--r-- 991 pxe_call.h
-rw-r--r-- 5051 pxe_error.h
-rw-r--r-- 2683 pxe_types.h
-rw-r--r-- 3924 realmode.h
-rw-r--r-- 3434 registers.h
-rw-r--r-- 630 rmsetjmp.h
-rw-r--r-- 1542 rtc.h
-rw-r--r-- 747 sdi.h
-rw-r--r-- 2257 undi.h
-rw-r--r-- 775 undiload.h
-rw-r--r-- 324 undinet.h
-rw-r--r-- 313 undipreload.h
-rw-r--r-- 1010 undirom.h
-rw-r--r-- 9077 vga.h