Symbol: xen_psd_package
drivers/xen/xen-acpi-processor.c
162
BUILD_BUG_ON(sizeof(struct xen_psd_package) !=
include/xen/interface/platform.h
402
struct xen_psd_package domain_info;