taglinefilesource code
USER_PTRS_PER_PGD172mm/memory.cfor (i = USER_PTRS_PER_PGD ; i < PTRS_PER_PGD ; i++)
USER_PTRS_PER_PGD178mm/memory.cfor (i = 0 ; i < USER_PTRS_PER_PGD ; i++)