HelenOS sources
srlz_i 77 kernel/arch/ia64/src/mm/as.c srlz_i();
srlz_i 82 kernel/arch/ia64/src/mm/page.c srlz_i();
srlz_i 103 kernel/arch/ia64/src/mm/page.c srlz_i();
srlz_i 142 kernel/arch/ia64/src/mm/page.c srlz_i();
srlz_i 145 kernel/arch/ia64/src/mm/page.c srlz_i();
srlz_i 188 kernel/arch/ia64/src/mm/page.c srlz_i();
srlz_i 191 kernel/arch/ia64/src/mm/page.c srlz_i();
srlz_i 227 kernel/arch/ia64/src/mm/page.c srlz_i();
srlz_i 230 kernel/arch/ia64/src/mm/page.c srlz_i();
srlz_i 87 kernel/arch/ia64/src/mm/tlb.c srlz_i();
srlz_i 126 kernel/arch/ia64/src/mm/tlb.c srlz_i();
srlz_i 181 kernel/arch/ia64/src/mm/tlb.c srlz_i();
srlz_i 186 kernel/arch/ia64/src/mm/tlb.c srlz_i();
srlz_i 242 kernel/arch/ia64/src/mm/tlb.c srlz_i();
srlz_i 268 kernel/arch/ia64/src/mm/tlb.c srlz_i();
srlz_i 329 kernel/arch/ia64/src/mm/tlb.c srlz_i();
srlz_i 356 kernel/arch/ia64/src/mm/tlb.c srlz_i();
srlz_i 70 kernel/arch/ia64/src/mm/vhpt.c srlz_i();
srlz_i 75 kernel/arch/ia64/src/mm/vhpt.c srlz_i();
srlz_i 40 kernel/arch/ia64/src/smc.c srlz_i();
HelenOS homepage, sources at GitHub