Lines Matching defs:mixed_mode

6190 	efi_runtime_services_32_t mixed_mode;
85562 	} mixed_mode;
85602 	} mixed_mode;
85619 	} mixed_mode;
85638 	efi_system_table_32_t mixed_mode;
85673 	} mixed_mode;
85694 	} mixed_mode;
114579 	} mixed_mode;
114661 	} mixed_mode;
114674 	efi_config_table_32_t mixed_mode;
114700 	} mixed_mode;
138730 	} mixed_mode;
138808 	} mixed_mode;