Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/C/Linux/arch/csky/abiv1/inc/abi/ (Linux Kernel Version 6.17.9^©) Datei vom 24.10.2025 mit Größe 581 B

Quelle regdef.h

Sprache: C

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

#ifndef __ASM_CSKY_REGDEF_H
#define __ASM_CSKY_REGDEF_H

#ifdef __ASSEMBLY__
#define syscallid r1
#else
#define syscallid "r1"
#endif

#define regs_syscallid(regs) regs->regs[9]
#define regs_fp(regs) regs->regs[2]

/*
* PSR format:
* | 31 | 30-24 | 23-16 | 15 14 | 13-0 |
*   S     CPID     VEC     TM
*
*    S: Super Mode
* CPID: Coprocessor id, only 15 for MMU
*  VEC: Exception Number
*   TM: Trace Mode
*/
#define DEFAULT_PSR_VALUE 0x8f000000

#define SYSTRACE_SAVENUM 2

#define TRAP0_SIZE  2

#endif /* __ASM_CSKY_REGDEF_H */

Messung V0.5 in Prozent

¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet am 2026-06-08) ¤

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.