From mboxrd@z Thu Jan  1 00:00:00 1970
From: Mike Haertel <mike@ducky.net>
Message-Id: <200112102335.fBANZWM57121@ducky.net>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] bochs still no go
In-Reply-To: <200112102219.fBAMJbG32049@devil.lucid>
Date: Mon, 10 Dec 2001 15:35:32 -0800
Topicbox-Message-UUID: 32780b5e-eaca-11e9-9e20-41e7f4b1d025

If "RDMSR" is being used to read the time stamp counter,
it should be replaced with RDTSC (0x0F 0x31).  RDMSR is
a much slower instruction.