__db_unmapregion
(void)__db_unmapregion(infop);
if ((t_ret = __db_unmapregion(infop)) != 0 && ret == 0)
if ((ret = __db_unmapregion(infop)) != 0)
int __db_unmapregion __P((REGINFO *));