Home
last modified time | relevance | path

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

/dflybsd-src/sys/platform/vkernel64/include/
H A Dpcb.h52 register_t pcb_r12; member
/dflybsd-src/sys/platform/pc64/include/
H A Dpcb.h57 register_t pcb_r12; member