Searched refs:proc0paddr_buff (Results 1 – 1 of 1) sorted by relevance
1631 char proc0paddr_buff[LWKT_THREAD_STACK]; variable2717 proc0paddr = proc0paddr_buff; in hammer_time()