Quelle vdso.h Sprache: C

/* SPDX-License-Identifier: GPL-2.0 */

#ifndef __ASM_CSKY_VDSO_H
#define __ASM_CSKY_VDSO_H

#include <linux/types.h>

/*
* The VDSO symbols are mapped into Linux so we can just use regular symbol
* addressing to get their offsets in userspace.  The symbols are mapped at an
* offset of 0, but since the linker must support setting weak undefined
* symbols to the absolute address 0 it also happens to support other low
* addresses even when the code model suggests those low addresses would not
* otherwise be available.
*/
#define VDSO_SYMBOL(base, name)       \
({          \
extern const char __vdso_##name[];     \
(void __user *)((unsigned long)(base) + __vdso_##name);   \
})

#endif /* __ASM_CSKY_VDSO_H */

Messung V0.5

¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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.