[PATCH AUTOSEL 4.19 2/3] x86/xen: Add some null pointer checking to smp.c