HelenOS sources

ASID_KERNEL        66 kernel/arch/arm64/src/mm/as.c 	if (as->asid != ASID_KERNEL) {
ASID_KERNEL        79 kernel/arch/ia64/src/mm/page.c 		rr.map.rid = ASID2RID(ASID_KERNEL, i);
ASID_KERNEL       387 kernel/arch/ia64/src/mm/tlb.c 		dtr_mapping_insert(page, ASID_KERNEL, entry, tr);
ASID_KERNEL       389 kernel/arch/ia64/src/mm/tlb.c 		dtc_mapping_insert(page, ASID_KERNEL, entry);
ASID_KERNEL       475 kernel/arch/ia64/src/mm/tlb.c 	return (RID2ASID(rid) == ASID_KERNEL) && (VA2VRN(va) == VRN_KERNEL);
ASID_KERNEL       102 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	tag.context = ASID_KERNEL;
ASID_KERNEL       247 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	if (tag.context == ASID_KERNEL) {
ASID_KERNEL       299 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	if (tag.context == ASID_KERNEL)
ASID_KERNEL       151 kernel/arch/sparc64/src/mm/sun4v/tlb.c 		    page, ASID_KERNEL, data.value, MMU_FLAG_DTLB, 0,
ASID_KERNEL       254 kernel/arch/sparc64/src/mm/sun4v/tlb.c 	if (ctx == ASID_KERNEL) {
ASID_KERNEL       301 kernel/arch/sparc64/src/mm/sun4v/tlb.c 	if (ctx == ASID_KERNEL)
ASID_KERNEL       180 kernel/generic/src/mm/as.c 		as->asid = ASID_KERNEL;
ASID_KERNEL        71 kernel/generic/src/mm/km.c 	ipl = tlb_shootdown_start(TLB_INVL_ASID, ASID_KERNEL, 0, 0);
ASID_KERNEL        78 kernel/generic/src/mm/km.c 	tlb_invalidate_asid(ASID_KERNEL);
ASID_KERNEL       169 kernel/generic/src/mm/km.c 	ipl = tlb_shootdown_start(TLB_INVL_PAGES, ASID_KERNEL, vaddr, pages);
ASID_KERNEL       174 kernel/generic/src/mm/km.c 	tlb_invalidate_pages(ASID_KERNEL, vaddr, pages);