Home | History | Annotate | Download | only in vki

Lines Matching full:default_value

4066 	__vki_s32		     default_value;
4079 	__vki_s64		     default_value;
4325 	__vki_s32 default_value;