K 10 svn:author V 8 brueffer K 8 svn:date V 27 2012-07-02T14:03:19.966382Z K 7 svn:log V 77 Fix XEN build, broken in r237924. Reported by: gcooper Pointy hat: brueffer END