K 10
svn:author
V 6
cherry
K 8
svn:date
V 27
2013-01-08T01:29:59.032156Z
K 7
svn:log
V 140
Missed the api declaration for xen_pt_user_switch.
Fixes Build (Thanks Bret Ketchum <Bret_Ketchum@DELL.com>)

Approved by: gibbs (implicit)

END