Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/FOL_Seq_Calc3/   (Archive of formal Proofs Version 2026-5©)  Datei vom 29.4.2026 mit Größe 2 kB image not shown  

Quellcode-Bibliothek vdso32.lds.S

  Interaktion und
PortierbarkeitSparc
 

/* SPDX-License-Identifier: GPL-2.0 */
/*
 * This is the infamous ld script for the 32 bits vdso
 * library
 */

#include <asm/vdso.h>
#include <asm/page.h>
#include <asm-generic/vmlinux.lds.h>
#include <vdso/datapage.h>

#ifdef __LITTLE_ENDIAN__
OUTPUT_FORMAT("elf32-powerpcle""elf32-powerpcle""elf32-powerpcle")
#else
OUTPUT_FORMAT("elf32-powerpc""elf32-powerpc""elf32-powerpc")
#endif
OUTPUT_ARCH(powerpc:common)

SECTIONS
{
 VDSO_VVAR_SYMS

 . = SIZEOF_HEADERS;

 .hash           : { *(.hash) }   :text
 .gnu.hash       : { *(.gnu.hash) }
 .dynsym         : { *(.dynsym) }
 .dynstr         : { *(.dynstr) }
 .gnu.version    : { *(.gnu.version) }
 .gnu.version_d  : { *(.gnu.version_d) }
 .gnu.version_r  : { *(.gnu.version_r) }

 .note  : { *(.note.*) }  :text :note

 . = ALIGN(16);
 .text  : {
  *(.text .stub .text.* .gnu.linkonce.t.* __ftr_alt_*)
 }                  :text
 PROVIDE(__etext = .);
 PROVIDE(_etext = .);
 PROVIDE(etext = .);

 . = ALIGN(8);
 VDSO_ftr_fixup_start = .;
 __ftr_fixup : { *(__ftr_fixup) }
 VDSO_ftr_fixup_end = .;

 . = ALIGN(8);
 VDSO_mmu_ftr_fixup_start = .;
 __mmu_ftr_fixup : { *(__mmu_ftr_fixup) }
 VDSO_mmu_ftr_fixup_end = .;

 . = ALIGN(8);
 VDSO_lwsync_fixup_start = .;
 __lwsync_fixup : { *(__lwsync_fixup) }
 VDSO_lwsync_fixup_end = .;

#ifdef CONFIG_PPC64
 . = ALIGN(8);
 VDSO_fw_ftr_fixup_start = .;
 __fw_ftr_fixup : { *(__fw_ftr_fixup) }
 VDSO_fw_ftr_fixup_end = .;
#endif

 /*
 * Other stuff is appended to the text segment:
 */

 .rodata  : { *(.rodata .rodata.* .gnu.linkonce.r.*) }
 .rodata1 : { *(.rodata1) }

 .eh_frame_hdr : { *(.eh_frame_hdr) }  :text :eh_frame_hdr
 .eh_frame : { KEEP (*(.eh_frame)) } :text
 .gcc_except_table : { *(.gcc_except_table) }
 .fixup  : { *(.fixup) }

 .dynamic : { *(.dynamic) }  :text :dynamic
 .got  : { *(.got) }   :text
 .plt  : { *(.plt) }

 .rela.dyn : { *(.rela .rela*) }

 _end = .;
 __end = .;
 PROVIDE(end = .);

 DWARF_DEBUG
 ELF_DETAILS

 /DISCARD/ : {
  *(.note.GNU-stack)
  *(*.EMB.apuinfo)
  *(.branch_lt)
  *(.data .data.* .gnu.linkonce.d.* .sdata*)
  *(.bss .sbss .dynbss .dynsbss)
  *(.got1 .glink .iplt)
 }
}

/*
 * Very old versions of ld do not recognize this name token; use the constant.
 */

#define PT_GNU_EH_FRAME 0x6474e550

/*
 * We must supply the ELF program headers explicitly to get just one
 * PT_LOAD segment, and set the flags explicitly to make segments read-only.
 */

PHDRS
{
 text  PT_LOAD FILEHDR PHDRS FLAGS(5); /* PF_R|PF_X */
 dynamic  PT_DYNAMIC FLAGS(4);  /* PF_R */
 note  PT_NOTE FLAGS(4);  /* PF_R */
 eh_frame_hdr PT_GNU_EH_FRAME;
}

/*
 * This controls what symbols we export from the DSO.
 */

VERSION
{
 VDSO_VERSION_STRING {
 global:
  __kernel_get_syscall_map;
  __kernel_gettimeofday;
  __kernel_clock_gettime;
  __kernel_clock_gettime64;
  __kernel_clock_getres;
  __kernel_time;
  __kernel_get_tbfreq;
  __kernel_sync_dicache;
  __kernel_sigtramp32;
  __kernel_sigtramp_rt32;
#if defined(CONFIG_PPC64) || !defined(CONFIG_SMP)
  __kernel_getcpu;
#endif
  __kernel_getrandom;

 local: *;
 };
}

/*
 * Make the sigreturn code visible to the kernel.
 */

VDSO_sigtramp32  = __kernel_sigtramp32;
VDSO_sigtramp_rt32 = __kernel_sigtramp_rt32;

Messung V0.5 in Prozent
C=94 H=97 G=95

¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.11Bemerkung:  (Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-06-07) ¤

*Bot Zugriff






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.