Home
last modified time | relevance | path

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

12

/linux-6.15/sound/soc/codecs/
H A Dtscs42xx.h115 #define RV(v, b) ((v)<<(b)) macro
184 RV(FV_SPKVOLL_N77PT25DB, FB_SPKVOLL)
209 RV(FV_SPKVOLR_N77PT25DB, FB_SPKVOLR)
234 RV(FV_DACVOLL_N95PT625DB, FB_DACVOLL)
284 RV(FV_ADCVOLL_N71PT25DB, FB_ADCVOLL)
309 RV(FV_ADCVOLR_N71PT25DB, FB_ADCVOLR)
572 RV(FV_AIC1_LRP_INVERT, FB_AIC1_LRP)
575 RV(FV_AIC1_LRP_NORMAL, FB_AIC1_LRP)
751 RV(FV_ADCSR_ABCM_32, FB_ADCSR_ABCM)
754 RV(FV_ADCSR_ABCM_40, FB_ADCSR_ABCM)
[all …]
/linux-6.15/drivers/gpu/drm/panel/
H A Dpanel-novatek-nt39016.c72 RV(NT39016_REG_SYSTEM, 0x00),
73 RV(NT39016_REG_TIMING, 0x00),
74 RV(NT39016_REG_OP, 0x03),
75 RV(NT39016_REG_DATA_IN, 0xCC),
78 RV(NT39016_REG_RESERVED, 0x00),
86 RV(NT39016_REG_VCOMDC, 0x67),
87 RV(NT39016_REG_VCOMAC, 0xA4),
88 RV(NT39016_REG_VGAM2, 0x04),
89 RV(NT39016_REG_VGAM34, 0x24),
90 RV(NT39016_REG_VGAM56, 0x24),
[all …]
/linux-6.15/drivers/ata/
H A Data_piix.c346 { 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 */
404 { RV, RV, RV, RV },
414 { RV, RV, RV, RV },
416 { RV, RV, RV, RV },
[all …]
/linux-6.15/tools/verification/rv/
H A DMakefile27 RV := $(OUTPUT)rv macro
28 RV_IN := $(RV)-in.o
38 all: $(RV)
62 $(RV): $(RV_IN)
63 $(QUIET_LINK)$(CC) $(LDFLAGS) -o $(RV) $(RV_IN) $(EXTLIBS)
67 $(QUIET_LINK)$(CC) $(LDFLAGS) -o $(RV)-static $(RV_IN) $(EXTLIBS)
H A 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.15/kernel/trace/rv/
H A 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
42 depends on RV
/linux-6.15/Documentation/tools/rv/
H A 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:
H A Drv-list.rst35 Linux kernel *RV* documentation:
H A Drv-mon-wwnr.rst35 Linux kernel *RV* documentation:
/linux-6.15/Documentation/trace/rv/
H A Druntime-verification.rst5 Runtime Verification (RV) is a lightweight (yet rigorous) method that
11 re-implementation at 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
H A 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
/linux-6.15/Documentation/devicetree/bindings/riscv/
H A Dsunxi.yaml43 - description: Lichee RV SoM
48 - description: Carrier boards for the Lichee RV SoM
/linux-6.15/tools/verification/dot2/dot2k_templates/
H A DKconfig4 depends on RV
/linux-6.15/arch/riscv/boot/dts/allwinner/
H A Dsun20i-d1-lichee-rv-86-panel-720p.dts7 model = "Sipeed Lichee RV 86 Panel (720p)";
H A Dsun20i-d1-lichee-rv-86-panel-480p.dts7 model = "Sipeed Lichee RV 86 Panel (480p)";
/linux-6.15/kernel/trace/rv/monitors/sched/
H A DKconfig4 depends on RV
/linux-6.15/kernel/trace/rv/monitors/sco/
H A DKconfig4 depends on RV
/linux-6.15/kernel/trace/rv/monitors/tss/
H A DKconfig4 depends on RV
/linux-6.15/kernel/trace/rv/monitors/snroc/
H A DKconfig4 depends on RV
/linux-6.15/kernel/trace/rv/monitors/snep/
H A DKconfig4 depends on RV
/linux-6.15/kernel/trace/rv/monitors/wip/
H A DKconfig4 depends on RV
/linux-6.15/kernel/trace/rv/monitors/scpd/
H A DKconfig4 depends on RV
/linux-6.15/kernel/trace/rv/monitors/sncid/
H A DKconfig4 depends on RV
/linux-6.15/kernel/trace/rv/monitors/wwnr/
H A DKconfig4 depends on RV
/linux-6.15/Documentation/translations/zh_CN/doc-guide/
H A Dchecktransupdate.rst50 commit 42fb9cfd5b18 ("Documentation: dev-tools: Add link to RV docs")

12