Searched defs:ci_idle_pcb_paddr (Results 1 – 2 of 2) sorted by relevance
202 paddr_t ci_idle_pcb_paddr; /* PA of idle PCB */ member
128 paddr_t ci_idle_pcb_paddr; /* PA of idle PCB */ member