Assertion list for term "provided by the kernel-xen package".
Results from Ascent++: 1
linux kernel (subgroup of kernel) → ReceivesAction → provided by the kernel-xen package 0.25