+ # we need to do special stuff on microvaxen
+ mfpr $SID,r0
+ cmpzv $24,$8,r0,$VAX_630
+ beql 1f
+ cmpzv $24,$8,r0,$VAX_650
+ bneq 2f
+
+ /*
+ * Were we booted by VMB? If so, r11 is not boothowto,
+ * but rather the address of the `Extended RPB' (see KA630
+ * User's Manual, pp 3-21). These tests were devised by
+ * richl@tektronix, 11/10/87.
+ */
+1:
+ cmpl (r11),r11 # if boothowto, r11 will be small
+ bneq 2f # and these will not fault
+ cmpl 4(r11),$0
+ bneq 2f
+ cmpl 8(r11),$-1
+ bneq 2f
+ tstl 0xc(r11)
+ bneq 2f
+
+ /*
+ * Booted by VMB: get flags from extended rpb.
+ * We can only guess at the boot device (here ra(0,0)).
+ */
+ movl 0x30(r11),r11
+ movl $9,r10 # device = ra(0,0)
+2: