talex5/xen — pull request #1 by avsm (2014-05-30 09:46:50+00:00)
Title: In xenbus, read the domain id into a domid_t (short int)

Fixes x86_64 build with format warnings enabled.