Searched defs:pcb_x (Results 1 – 2 of 2) sorted by path
50 uint64_t pcb_x[12]; member
48 uint64_t pcb_x[32][2]; /* Floating point registers */ member