Searched refs:_vki_psw_t (Results 1 – 1 of 1) sorted by relevance
108 } __attribute__ ((aligned(8))) _vki_psw_t; typedef112 _vki_psw_t psw;