Home
last modified time | relevance | path

Searched defs:pcb_r13 (Results 1 – 2 of 2) sorted by relevance

/dflybsd-src/sys/platform/vkernel64/include/
H A Dpcb.h51 register_t pcb_r13; member
/dflybsd-src/sys/platform/pc64/include/
H A Dpcb.h56 register_t pcb_r13; member