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