#include <nonxen.h>
Definition at line 29 of file nonxen.h.
Definition at line 156 of file xen-x86_32.h.
Definition at line 157 of file xen-x86_32.h.