CONFIG_XEN_PRIVCMD (not configurable)
modulename: xen-privcmd.ko
configname: CONFIG_XEN_PRIVCMD
Linux Kernel Configuration
└─>Device Drivers
└─>Xen driver support
└─>XEN_PRIVCMD