Lines Matching defs:mixed_mode

14497 	efi_runtime_services_32_t mixed_mode;
112522 	efi_config_table_32_t mixed_mode;
112887 	} mixed_mode;
112927 	} mixed_mode;
112944 	} mixed_mode;
112963 	efi_system_table_32_t mixed_mode;
146469 	} mixed_mode;
146529 	} mixed_mode;
146550 	} mixed_mode;
146573 	} mixed_mode;
146632 	} mixed_mode;
146645 	} mixed_mode;
146760 	} mixed_mode;
146776 	} mixed_mode;
146822 	} mixed_mode;
146837 	} mixed_mode;