Lines Matching defs:mixed_mode

35801 	efi_runtime_services_32_t mixed_mode;
60810 	efi_config_table_32_t mixed_mode;
71209 	} mixed_mode;
71249 	} mixed_mode;
71266 	} mixed_mode;
71285 	efi_system_table_32_t mixed_mode;
71318 	} mixed_mode;
71351 	} mixed_mode;
71429 	} mixed_mode;
101114 	} mixed_mode;
101130 	} mixed_mode;
101176 	} mixed_mode;
101191 	} mixed_mode;
118316 	} mixed_mode;
118337 	} mixed_mode;
118371 	} mixed_mode;