K 10
svn:author
V 8
keramida
K 8
svn:date
V 27
2003-03-01T00:56:20.000000Z
K 7
svn:log
V 296
The initial value of the instruction pointer after processor reset is
not 0xffffff00 but 0xfffffff0.  Verified by checking section 10.1 of
"Intel 80386 Reference Programmer's Manual" at:
http://people.freebsd.org/~jhb/386htm/s10_01.htm

PR:		docs/48571
Submitted by:	Rui Lopes <rui@ruilopes.com>

END
