Home | History | Annotate | Download | only in priv

Lines Matching refs:vbi

1068 /* Write default settings info *vbi. */
1069 void LibVEX_default_VexAbiInfo ( /*OUT*/VexAbiInfo* vbi )
1071    vbi->guest_stack_redzone_size       = 0;
1072    vbi->guest_amd64_assume_fs_is_zero  = False;
1073    vbi->guest_amd64_assume_gs_is_0x60  = False;
1074    vbi->guest_ppc_zap_RZ_at_blr        = False;
1075    vbi->guest_ppc_zap_RZ_at_bl         = NULL;
1076    vbi->guest_ppc_sc_continues_at_LR   = False;
1077    vbi->host_ppc_calls_use_fndescrs    = False;
1078    vbi->host_ppc32_regalign_int64_args = False;