package ocaml-unikraft-arm64

  1. Overview
  2. Docs

Class Stackframegen.stackframe_generic

method virtual trap_handler_size : int
method is_call : Mach.instruction_desc -> bool
method frame_required : Mach.fundecl -> bool -> bool
method analyze : Mach.fundecl -> analysis_result