Re: [OpenBIOS] [PATCH] SPARC32: fix up obp_dumb_mmap() and obp_dumb_munmap()