tree 5972017ea8084b71f02257e87be1ef4821a6aec1
parent 963bba609c4bbd63dd5b11b68501467b81a36d9e
author David 'Digit' Turner <digit@google.com> 1399633228 +0200
committer David 'Digit' Turner <digit@google.com> 1405690304 +0200

xen: Update xen.h to upstream + provide stubs.

Change-Id: Id6b3da4ac62f1ffaf35155adb3f70589a359cab1