Lines Matching refs:vbi
1242 /* Write default settings info *vbi. */
1243 void LibVEX_default_VexAbiInfo ( /*OUT*/VexAbiInfo* vbi )
1245 vex_bzero(vbi, sizeof(*vbi));
1246 vbi->guest_stack_redzone_size = 0;
1247 vbi->guest_amd64_assume_fs_is_zero = False;
1248 vbi->guest_amd64_assume_gs_is_0x60 = False;
1249 vbi->guest_ppc_zap_RZ_at_blr = False;
1250 vbi->guest_ppc_zap_RZ_at_bl = NULL;
1251 vbi->guest_ppc_sc_continues_at_LR = False;
1252 vbi->host_ppc_calls_use_fndescrs = False;
1253 vbi->host_ppc32_regalign_int64_args = False;