		Search-engine friendly clone of the ACL2 documentation.

Elf-header

Change-elf-header

Modifying constructor for elf-header structures.

Syntax

(change-elf-header x 
                   [:magic <magic>] 
                   [:class <class>] 
                   [:dataenc <dataenc>] 
                   [:identver <identver>] 
                   [:osabi <osabi>] 
                   [:abiver <abiver>] 
                   [:padding <padding>] 
                   [:type <type>] 
                   [:machine <machine>] 
                   [:version <version>] 
                   [:entry <entry>] 
                   [:phoff <phoff>] 
                   [:shoff <shoff>] 
                   [:flags <flags>] 
                   [:ehsize <ehsize>] 
                   [:phentsize <phentsize>] 
                   [:phnum <phnum>] 
                   [:shentsize <shentsize>] 
                   [:shnum <shnum>] 
                   [:shstrndx <shstrndx>])

This is an often useful alternative to make-elf-header.

We construct a new elf-header structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

Definition

This is an ordinary change- macro introduced by defprod.

Macro: change-elf-header

(defmacro change-elf-header (x &rest args)
  (std::change-aggregate 'elf-header
                         x args
                         '((:magic . elf-header->magic)
                           (:class . elf-header->class)
                           (:dataenc . elf-header->dataenc)
                           (:identver . elf-header->identver)
                           (:osabi . elf-header->osabi)
                           (:abiver . elf-header->abiver)
                           (:padding . elf-header->padding)
                           (:type . elf-header->type)
                           (:machine . elf-header->machine)
                           (:version . elf-header->version)
                           (:entry . elf-header->entry)
                           (:phoff . elf-header->phoff)
                           (:shoff . elf-header->shoff)
                           (:flags . elf-header->flags)
                           (:ehsize . elf-header->ehsize)
                           (:phentsize . elf-header->phentsize)
                           (:phnum . elf-header->phnum)
                           (:shentsize . elf-header->shentsize)
                           (:shnum . elf-header->shnum)
                           (:shstrndx . elf-header->shstrndx))
                         'change-elf-header
                         'nil))