HelenOS sources

ASID_INVALID       61 kernel/arch/ia64/src/mm/as.c 	assert(as->asid != ASID_INVALID);
ASID_INVALID       52 kernel/arch/mips32/src/mm/frame.c #define ZERO_PAGE_ASID    ASID_INVALID
ASID_INVALID      359 kernel/arch/mips32/src/mm/tlb.c 	assert(asid != ASID_INVALID);
ASID_INVALID      402 kernel/arch/mips32/src/mm/tlb.c 	if (asid == ASID_INVALID)
ASID_INVALID      110 kernel/genarch/src/mm/asid.c 		assert(asid != ASID_INVALID);
ASID_INVALID      116 kernel/genarch/src/mm/asid.c 		as->asid = ASID_INVALID;
ASID_INVALID      182 kernel/generic/src/mm/as.c 		as->asid = ASID_INVALID;
ASID_INVALID      239 kernel/generic/src/mm/as.c 	if ((as->asid != ASID_INVALID) && (as != AS_KERNEL)) {
ASID_INVALID     1655 kernel/generic/src/mm/as.c 			assert(old_as->asid != ASID_INVALID);
ASID_INVALID     1672 kernel/generic/src/mm/as.c 		if (new_as->asid != ASID_INVALID)
ASID_INVALID      105 kernel/generic/src/mm/tlb.c 			cpu->tlb_messages[0].asid = ASID_INVALID;