flush text cache and resynch todr clock on boot;
authorMike Karels <karels@ucbvax.Berkeley.EDU>
Tue, 14 Jan 1986 09:53:12 +0000 (01:53 -0800)
committerMike Karels <karels@ucbvax.Berkeley.EDU>
Tue, 14 Jan 1986 09:53:12 +0000 (01:53 -0800)
commit75395bd6efc5ad2272ba624fdcee0b3c35ccdc88
tree29a035e10f7040436502e2b27e2f659af910d28f
parent4aa1832df23acfb50f6413b6d8e1d4d8a60a00a4
flush text cache and resynch todr clock on boot;
fix and use microtime; more spl[67]'s bite the dust

SCCS-vsn: sys/vax/vax/machdep.c 6.23
usr/src/sys/vax/vax/machdep.c