As there are more syscalls that differ between xen and normal kernels, putting all of them under a single bug is simpler. *** This bug has been marked as a duplicate of bug 561394 ***