srmmu_unmapiorange
void srmmu_unmapiorange(unsigned long virt_addr, unsigned int len);
srmmu_unmapiorange(res->start, plen);