Lines Matching refs:LibVEX_default_VexAbiInfo
385 void LibVEX_default_VexAbiInfo ( /*OUT*/VexAbiInfo* vbi );