Searched defs:tskv (Results 1 – 1 of 1) sorted by relevance
3235 unsigned long tskv = 0; in show_pte() local3330 unsigned long tskv; in show_tasks() local