Home | History | Annotate | Download | only in priv

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;