Quelle edac.h Sprache: C

/* SPDX-License-Identifier: GPL-2.0-only */
/*
* Copyright 2011 Calxeda, Inc.
* Based on PPC version Copyright 2007 MontaVista Software, Inc.
*/
#ifndef ASM_EDAC_H
#define ASM_EDAC_H
/*
* ECC atomic, DMA, SMP and interrupt safe scrub function.
* Implements the per arch edac_atomic_scrub() that EDAC use for software
* ECC scrubbing.  It reads memory and then writes back the original
* value, allowing the hardware to detect and correct memory errors.
*/

static inline void edac_atomic_scrub(void *va, u32 size)
{
#if __LINUX_ARM_ARCH__ >= 6
unsigned int *virt_addr = va;
unsigned int temp, temp2;
unsigned int i;

for (i = 0; i < size / sizeof(*virt_addr); i++, virt_addr++) {
  /* Very carefully read and write to memory atomically
   * so we are interrupt, DMA and SMP safe.
*/
  __asm__ __volatile__("\n"
   "1: ldrex %0, [%2]\n"
   " strex %1, %0, [%2]\n"
   " teq %1, #0\n"
   " bne 1b\n"
   : "=&r"(temp), "=&r"(temp2)
   : "r"(virt_addr)
   : "cc");
}
#endif
}

#endif

Messung V0.5 in Prozent

¤ 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.8Bemerkung: (vorverarbeitet am 2026-10-12) ¤

*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.