HelenOS sources

TLB_INVL_ALL      104 kernel/generic/src/mm/tlb.c 			cpu->tlb_messages[0].type = TLB_INVL_ALL;
TLB_INVL_ALL      171 kernel/generic/src/mm/tlb.c 		case TLB_INVL_ALL:
TLB_INVL_ALL      186 kernel/generic/src/mm/tlb.c 		if (type == TLB_INVL_ALL)