K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2020-05-20T21:15:43.833403Z
K 7
svn:log
V 373
Simplify hot-patching cpu_switch() for lack of UserLocal register.

Rather than walking all of cpu_switch looking for the sequence of
instructions to patch, add a global label at the location that needs
the patch applied.

Reviewed by:	brooks, Alfredo Mazzinghi <alfredo.mazzinghi_cl.cam.ac.uk>
Sponsored by:	DARPA
Differential Revision:	https://reviews.freebsd.org/D24931

END