prom_free_phys
int prom_free_phys(paddr_t paddr, int len);
prom_free_phys(kdatap, kdsize);
prom_free_phys(ktextp, ktsize);