Module Libcall_stubs

module Libcall_stubs: sig .. end

val apply_libcall_policy : Libcall_piqi.libcall_pol list ->
int ->
Trace_type.trace_inst ->
Common_piqi.call_convention_t ->
Common_piqi.action -> Path_pred_env.t -> unit
val libcall_to_string : Libcall_piqi.libcall_t -> string
val check_libcall_policy_consistency : Libcall_piqi.libcall_pol list -> Common_piqi.action -> bool
val serialize_stack_params : Libcall_piqi.libcall_t -> string
val apply_default_stub : int -> Common_piqi.call_convention_t -> Path_pred_env.t -> unit