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 */