prom_free_phys
prom_free_phys(size, physaddr);
extern void prom_free_phys(size_t size,
prom_free_phys(CB_STACK_SIZE, PN_TO_ADDR(ppn));
prom_free_phys(len, phys + sfile.size);
prom_free_phys(alloc_size, pa);
extern void prom_free_phys(size_t size,
extern void prom_free_phys(size_t size,