Follow-up for r15381
commit3adbf40a38b52d3f329de9a4c1b548d1364b176a
authorBart Van Assche <bvanassche@acm.org>
Sun, 28 Jun 2015 16:52:49 +0000 (28 16:52 +0000)
committerBart Van Assche <bvanassche@acm.org>
Sun, 28 Jun 2015 16:52:49 +0000 (28 16:52 +0000)
tree7703b311a1b5090aff8726e4a14b004698956ace
parentd2a03925396e237809ccca6a39cba3c4a46c5655
Follow-up for r15381

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15382
include/vki/vki-xen-schedop.h [new file with mode: 0644]