xen_zap_pfn_range
xen_zap_pfn_range(vstart, order, in_frames, NULL);
xen_zap_pfn_range(vstart, order, NULL, out_frames);