		Search-engine friendly clone of the ACL2 documentation.

Elf64-segment-header

Change-elf64-segment-header

Modifying constructor for elf64-segment-header structures.

Syntax

(change-elf64-segment-header x 
                             [:type <type>] 
                             [:flags <flags>] 
                             [:offset <offset>] 
                             [:vaddr <vaddr>] 
                             [:paddr <paddr>] 
                             [:filesz <filesz>] 
                             [:memsz <memsz>] 
                             [:align <align>])

This is an often useful alternative to make-elf64-segment-header.

We construct a new elf64-segment-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-elf64-segment-header

(defmacro change-elf64-segment-header (x &rest args)
  (std::change-aggregate 'elf64-segment-header
                         x args
                         '((:type . elf64-segment-header->type)
                           (:flags . elf64-segment-header->flags)
                           (:offset . elf64-segment-header->offset)
                           (:vaddr . elf64-segment-header->vaddr)
                           (:paddr . elf64-segment-header->paddr)
                           (:filesz . elf64-segment-header->filesz)
                           (:memsz . elf64-segment-header->memsz)
                           (:align . elf64-segment-header->align))
                         'change-elf64-segment-header
                         'nil))