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