Searched refs:ipid (Results 1 – 3 of 3) sorted by relevance
30 __u64 ipid; /* MCA_IPID MSR: only valid on SMCA systems */ member
84 config.s.ipid = pko_port; in __cvmx_pko_iport_config()132 config.s.ipid = port; in __cvmx_pko_port_map_o68()146 config.s.ipid = port; in __cvmx_pko_port_map_o68()
1235 uint64_t ipid:7; member1237 uint64_t ipid:7;1265 uint64_t ipid:7; member1267 uint64_t ipid:7;1291 uint64_t ipid:7; member1295 uint64_t ipid:7;1317 uint64_t ipid:7; member1321 uint64_t ipid:7;