Home
last modified time | relevance | path

Searched refs:RV (Results 1 – 24 of 24) sorted by relevance

/linux-6.12.1/sound/soc/codecs/
Dtscs42xx.h115 #define RV(v, b) ((v)<<(b)) macro
136 #define RV_HPVOLL_P6DB RV(FV_HPVOLL_P6DB, FB_HPVOLL)
137 #define RV_HPVOLL_N88PT5DB RV(FV_HPVOLL_N88PT5DB, FB_HPVOLL)
138 #define RV_HPVOLL_MUTE RV(FV_HPVOLL_MUTE, FB_HPVOLL)
159 #define RV_HPVOLR_P6DB RV(FV_HPVOLR_P6DB, FB_HPVOLR)
160 #define RV_HPVOLR_N88PT5DB RV(FV_HPVOLR_N88PT5DB, FB_HPVOLR)
161 #define RV_HPVOLR_MUTE RV(FV_HPVOLR_MUTE, FB_HPVOLR)
182 #define RV_SPKVOLL_P12DB RV(FV_SPKVOLL_P12DB, FB_SPKVOLL)
184 RV(FV_SPKVOLL_N77PT25DB, FB_SPKVOLL)
186 #define RV_SPKVOLL_MUTE RV(FV_SPKVOLL_MUTE, FB_SPKVOLL)
[all …]
/linux-6.12.1/drivers/gpu/drm/panel/
Dpanel-novatek-nt39016.c70 #define RV(REG, VAL) { .reg = (REG), .def = (VAL), .delay_us = 2 } macro
72 RV(NT39016_REG_SYSTEM, 0x00),
73 RV(NT39016_REG_TIMING, 0x00),
74 RV(NT39016_REG_OP, 0x03),
75 RV(NT39016_REG_DATA_IN, 0xCC),
76 RV(NT39016_REG_SRC_TIMING_DELAY, 0x46),
77 RV(NT39016_REG_GATE_TIMING_DELAY, 0x05),
78 RV(NT39016_REG_RESERVED, 0x00),
79 RV(NT39016_REG_INITIAL_FUNC, 0x00),
80 RV(NT39016_REG_CONTRAST, 0x08),
[all …]
/linux-6.12.1/drivers/ata/
Data_piix.c112 RV = -3, /* reserved */ enumerator
346 { RV, RV, RV, RV },
347 { RV, RV, RV, RV },
363 { RV, RV, RV, RV },
380 { RV, RV, RV, RV },
390 { RV, RV, RV, RV },
392 { RV, RV, RV, RV },
402 { RV, RV, RV, RV }, /* 01b */
403 { RV, RV, RV, RV }, /* 10b */
404 { RV, RV, RV, RV },
[all …]
/linux-6.12.1/tools/verification/rv/
DMakefile27 RV := $(OUTPUT)rv macro
28 RV_IN := $(RV)-in.o
44 all: $(RV)
68 $(RV): $(RV_IN)
69 $(QUIET_LINK)$(CC) $(LDFLAGS) -o $(RV) $(RV_IN) $(EXTLIBS)
73 $(QUIET_LINK)$(CC) $(LDFLAGS) -o $(RV)-static $(RV_IN) $(EXTLIBS)
DREADME.txt1 RV: Runtime Verification
3 Runtime Verification (RV) is a lightweight (yet rigorous) method that
11 Installing RV
13 RV depends on the following libraries and tools:
/linux-6.12.1/kernel/trace/rv/
DKconfig14 menuconfig RV config
18 Enable the kernel runtime verification infrastructure. RV is a
21 theorem proving). RV works by analyzing the trace of the system's
29 depends on RV
42 depends on RV
56 depends on RV
/linux-6.12.1/Documentation/tools/rv/
Drv.rst20 Runtime Verification (**RV**) is a lightweight (yet rigorous) method
23 re-implementation a instruction level), RV works by analyzing the trace
55 Linux kernel *RV* documentation:
Drv-list.rst35 Linux kernel *RV* documentation:
Drv-mon-wwnr.rst35 Linux kernel *RV* documentation:
Drv-mon-wip.rst36 Linux kernel *RV* documentation:
Drv-mon.rst47 Linux kernel *RV* documentation:
/linux-6.12.1/Documentation/trace/rv/
Druntime-verification.rst5 Runtime Verification (RV) is a lightweight (yet rigorous) method that
11 re-implementation a instruction level), RV works by analyzing the trace of the
15 The main advantage is that RV can give precise information on the runtime
31 *RV monitor* abstraction. A *RV monitor* includes a reference model of the
36 Linux +---- RV Monitor ----------------------------------+ Formal
59 In Linux terms, a *reactor* is an reaction method available for *RV monitors*.
65 RV applied to Linux:
77 Online RV monitors
Dda_monitor_synthesis.rst4 The starting point for the application of runtime verification (RV) techniques
15 the *RV monitor* abstraction. The RV monitor includes a set of instances
21 Linux +----- RV Monitor ----------------------------------+ Formal
42 The synthesis of automata-based models into the Linux *RV monitor* abstraction
61 - wip.c: the RV monitor
Dda_monitor_instrumentation.rst4 The RV monitor file created by dot2k, with the name "$MODEL_NAME.c"
141 The RV interface also facilitates this step. For example, the macro "rv_attach_trace_probe()"
/linux-6.12.1/arch/riscv/boot/dts/allwinner/
Dsun20i-d1-lichee-rv-86-panel-720p.dts7 model = "Sipeed Lichee RV 86 Panel (720p)";
Dsun20i-d1-lichee-rv-86-panel-480p.dts7 model = "Sipeed Lichee RV 86 Panel (480p)";
Dsun20i-d1-lichee-rv.dts14 model = "Sipeed Lichee RV";
Dsun20i-d1-lichee-rv-dock.dts10 model = "Sipeed Lichee RV Dock";
/linux-6.12.1/Documentation/translations/zh_CN/doc-guide/
Dchecktransupdate.rst50 commit 42fb9cfd5b18 ("Documentation: dev-tools: Add link to RV docs")
/linux-6.12.1/Documentation/doc-guide/
Dchecktransupdate.rst49 commit 42fb9cfd5b18 ("Documentation: dev-tools: Add link to RV docs")
/linux-6.12.1/drivers/comedi/drivers/tests/
Dni_routes_test.c123 static const u8 RV[NI_NUM_NAMES][NI_NUM_NAMES] = { variable
175 private.routing_tables.route_values = &RV[0][0]; in init_pci_fake()
/linux-6.12.1/sound/soc/amd/
DKconfig45 tristate "AMD RV support for RT5682"
/linux-6.12.1/Documentation/dev-tools/
Dtesting-overview.rst107 * Runtime Verification (RV) supports checking specific behaviours for a given
/linux-6.12.1/
DMAINTAINERS20151 RUNTIME VERIFICATION (RV)