HelenOS sources
PTL2_ENTRIES 214 kernel/genarch/src/mm/page_pt.c #if (PTL2_ENTRIES != 0)
PTL2_ENTRIES 236 kernel/genarch/src/mm/page_pt.c #if (PTL2_ENTRIES != 0)
PTL2_ENTRIES 237 kernel/genarch/src/mm/page_pt.c for (i = 0; i < PTL2_ENTRIES; i++) {
PTL2_ENTRIES 319 kernel/genarch/src/mm/page_pt.c #if (PTL2_ENTRIES != 0)
PTL2_ENTRIES 378 kernel/genarch/src/mm/page_pt.c va_bits = fnzb(PTL0_ENTRIES) + fnzb(PTL1_ENTRIES) + fnzb(PTL2_ENTRIES) +
PTL2_ENTRIES 409 kernel/genarch/src/mm/page_pt.c #elif (PTL2_ENTRIES != 0)
HelenOS homepage, sources at GitHub