Searched defs:max_pkey (Results 1 – 2 of 2) sorted by relevance
809 uint32_t max_pkey :16; member829 uint32_t max_pkey :16; member
1317 uint32_t max_pkey :16; /* valid if noted above */ member1355 uint32_t max_pkey :16; /* valid if noted above */ member