Displaying 1 result from an estimated 1 matches for "vkern_entri".
Did you mean:
vkern_entry
2005 May 31
0
[PATCH] Store page and evtchn in start_info_t
Hi all,
This is a trivial patch which adds the two fields to start_info_t for
the shared page and event channel port for the share. Feel free to
destroy this in any way. The python binding just fills zeros in for the
moment, making it harmless.
Mike Wray has a nicer version in his tree, but this is the minimal
version. (Thanks to Mike for the .esp fix, too).
Cheers,
Rusty.
diff -ur