K 10
svn:author
V 7
davidxu
K 8
svn:date
V 27
2002-11-08T01:09:16.000000Z
K 7
svn:log
V 112
use critical_enter/exit to add a critical section around BIOS call,
this unbreaks WITNESS.

Pointed out by: jhb

END