Rzeszutek Wilk 1317318208 -0400 committer Konrad Rzeszutek Wilk 1319057897 -0400 xen/pciback: Do not dereference psdev during printk when it is NULL. .. instead use BUG_ON() as all the callers of the kill_domain_by_device check for psdev. Suggested-by: Jan Beulich Signed-off-by: Konrad Rzeszutek Wilk ª ¦c”/x