__DEFINE_XEN_GUEST_HANDLE

44

#define DEFINE_XEN_GUEST_HANDLE(name) __DEFINE_XEN_GUEST_HANDLE(name, name)

55

__DEFINE_XEN_GUEST_HANDLE(uchar, unsigned char);

57

__DEFINE_XEN_GUEST_HANDLE(uint, unsigned int);

59

__DEFINE_XEN_GUEST_HANDLE(ulong, unsigned long);

644

__DEFINE_XEN_GUEST_HANDLE(uint8, uint8_t);

645

__DEFINE_XEN_GUEST_HANDLE(uint16, uint16_t);

646

__DEFINE_XEN_GUEST_HANDLE(uint32, uint32_t);

647

__DEFINE_XEN_GUEST_HANDLE(uint64, uint64_t);