/include/hw/uefi/

• ../
• hardware-info.h
• var-service-api.h
• var-service-edk2.h
• var-service.h