HelenOS sources
srlz_d 94 kernel/arch/ia64/include/arch/cpu.h srlz_d();
srlz_d 96 kernel/arch/ia64/src/drivers/it.c srlz_d();
srlz_d 130 kernel/arch/ia64/src/drivers/it.c srlz_d(); /* Propagate changes */
srlz_d 121 kernel/arch/ia64/src/ia64.c srlz_d();
srlz_d 123 kernel/arch/ia64/src/ia64.c srlz_d();
srlz_d 125 kernel/arch/ia64/src/ia64.c srlz_d();
srlz_d 128 kernel/arch/ia64/src/ia64.c srlz_d();
srlz_d 247 kernel/arch/ia64/src/interrupt.c srlz_d();
srlz_d 76 kernel/arch/ia64/src/mm/as.c srlz_d();
srlz_d 83 kernel/arch/ia64/src/mm/page.c srlz_d();
srlz_d 104 kernel/arch/ia64/src/mm/page.c srlz_d();
srlz_d 146 kernel/arch/ia64/src/mm/page.c srlz_d();
srlz_d 192 kernel/arch/ia64/src/mm/page.c srlz_d();
srlz_d 231 kernel/arch/ia64/src/mm/page.c srlz_d();
srlz_d 86 kernel/arch/ia64/src/mm/tlb.c srlz_d();
srlz_d 125 kernel/arch/ia64/src/mm/tlb.c srlz_d();
srlz_d 180 kernel/arch/ia64/src/mm/tlb.c srlz_d();
srlz_d 185 kernel/arch/ia64/src/mm/tlb.c srlz_d();
srlz_d 241 kernel/arch/ia64/src/mm/tlb.c srlz_d();
srlz_d 267 kernel/arch/ia64/src/mm/tlb.c srlz_d();
srlz_d 328 kernel/arch/ia64/src/mm/tlb.c srlz_d();
srlz_d 355 kernel/arch/ia64/src/mm/tlb.c srlz_d();
srlz_d 76 kernel/arch/ia64/src/mm/vhpt.c srlz_d();
HelenOS homepage, sources at GitHub