plat_slice_del
if (&plat_slice_del)
plat_slice_del(start, end);
extern void plat_slice_del(pfn_t, pfn_t);
extern void plat_slice_del(pfn_t, pfn_t);
if (&plat_slice_del != NULL)
plat_slice_del(start, end);
extern void plat_slice_del(pfn_t, pfn_t);
extern void plat_slice_del(pfn_t, pfn_t);