xen_chk_extra_mem
return xen_chk_extra_mem(pfn);
unsigned long __ref xen_chk_extra_mem(unsigned long pfn);