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