xen_processor_csd  358 include/xen/interface/platform.h DEFINE_GUEST_HANDLE_STRUCT(xen_processor_csd);
xen_processor_csd  366 include/xen/interface/platform.h 	GUEST_HANDLE(xen_processor_csd) dp; /* NULL if no dependency */