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