acpi.h
|
Renamed types
|
2024-05-27 21:45:04 +02:00 |
acpi_table.h
|
Don't use standard integer type names
|
2024-07-08 20:57:58 +02:00 |
boot_manager_policy.h
|
Renamed types
|
2024-05-27 21:45:04 +02:00 |
console_support.h
|
fix: MaxNode -> MaxMode
|
2024-08-18 18:59:53 +02:00 |
debugger.h
|
Renamed types
|
2024-05-27 21:45:04 +02:00 |
decompress.h
|
Renamed types
|
2024-05-27 21:45:04 +02:00 |
device_path.h
|
Renamed types
|
2024-05-27 21:45:04 +02:00 |
fwmgmnt.h
|
Renamed types
|
2024-05-27 21:45:04 +02:00 |
loaded_image.h
|
Renamed types
|
2024-05-27 21:45:04 +02:00 |
media_access.h
|
Added EFI_FILE_INFO
|
2024-07-27 11:33:12 +02:00 |
network.h
|
Renamed types
|
2024-05-27 21:45:04 +02:00 |
pci_bus.h
|
Renamed types
|
2024-05-27 21:45:04 +02:00 |
scsi.h
|
Renamed types
|
2024-05-27 21:45:04 +02:00 |
string_services.h
|
Renamed types
|
2024-05-27 21:45:04 +02:00 |
uefi_driver_model.h
|
Renamed types
|
2024-05-27 21:45:04 +02:00 |
usb.h
|
Renamed types
|
2024-05-27 21:45:04 +02:00 |