HelenOS sources

TLB_DEMAP_NUCLEUS  145 kernel/arch/sparc64/src/mm/sun4u/as.c 		dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_NUCLEUS, tsb);
TLB_DEMAP_NUCLEUS  216 kernel/arch/sparc64/src/mm/sun4u/as.c 		dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_NUCLEUS, tsb);