--- trunk/src/arcbios.c	2007/10/08 16:18:31	11
+++ trunk/src/arcbios.c	2007/10/08 16:18:38	12
@@ -25,7 +25,7 @@
  *  SUCH DAMAGE.
  *
  *
- *  $Id: arcbios.c,v 1.105 2005/06/26 11:36:27 debug Exp $
+ *  $Id: arcbios.c,v 1.107 2005/08/09 17:18:22 debug Exp $
  *
  *  ARCBIOS emulation.
  */
@@ -2639,7 +2639,8 @@
 	/*
 	 *  Defalt TLB entry for 64-bit SGI machines:
 	 */
-	if (machine->machine_type == MACHINE_SGI) {
+	if (machine->machine_type == MACHINE_SGI &&
+	    machine->machine_subtype != 12 /* TODO: ugly */ ) {
 		/*  TODO: On which models is this required?  */
 		mips_coproc_tlb_set_entry(cpu, 0, 1048576*16,
 		    0xc000000000000000ULL, 0, 1048576*16, 1,1,1,1,1, 0, 2, 2);
@@ -2650,7 +2651,7 @@
 	 *  Set up Firmware Vectors:
 	 */
 	add_symbol_name(&machine->symbol_context,
-	    ARC_FIRMWARE_ENTRIES, 0x10000, "[ARCBIOS entry]", 0);
+	    ARC_FIRMWARE_ENTRIES, 0x10000, "[ARCBIOS entry]", 0, 1);
 
 	for (i=0; i<100; i++) {
 		if (is64bit) {