Searched refs:EFI_HEALTH_FLAGS (Results 1 – 3 of 3) sorted by relevance
87 } EFI_HEALTH_FLAGS; typedef92 typedef EFI_HEALTH_FLAGS X64_HANDOFF_STATUS;93 typedef EFI_HEALTH_FLAGS IA32_HANDOFF_STATUS;
46 } EFI_HEALTH_FLAGS; typedef49 EFI_HEALTH_FLAGS HealthFlags;
142 EFI_HEALTH_FLAGS Health;