HelenOS sources

TLB_IBIG          390 kernel/arch/sparc64/src/mm/sun4u/tlb.c 		d.value = dtlb_data_access_read(TLB_IBIG, i);
TLB_IBIG          391 kernel/arch/sparc64/src/mm/sun4u/tlb.c 		t.value = dtlb_tag_read_read(TLB_IBIG, i);