| /linux-6.3-rc2/sound/soc/codecs/ |
| A D | tscs42xx.h | 115 #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.3-rc2/drivers/gpu/drm/panel/ |
| A D | panel-novatek-nt39016.c | 73 RV(NT39016_REG_SYSTEM, 0x00),
74 RV(NT39016_REG_TIMING, 0x00),
75 RV(NT39016_REG_OP, 0x03),
76 RV(NT39016_REG_DATA_IN, 0xCC),
79 RV(NT39016_REG_RESERVED, 0x00),
87 RV(NT39016_REG_VCOMDC, 0x67),
88 RV(NT39016_REG_VCOMAC, 0xA4),
89 RV(NT39016_REG_VGAM2, 0x04),
90 RV(NT39016_REG_VGAM34, 0x24),
91 RV(NT39016_REG_VGAM56, 0x24),
[all …]
|
| /linux-6.3-rc2/drivers/ata/ |
| A D | ata_piix.c | 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 */
404 { RV, RV, RV, RV },
414 { RV, RV, RV, RV },
416 { RV, RV, RV, RV },
[all …]
|
| /linux-6.3-rc2/kernel/trace/rv/ |
| A D | Kconfig | 14 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.3-rc2/tools/verification/rv/ |
| A D | README.txt | 1 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.3-rc2/Documentation/tools/rv/ |
| A D | rv.rst | 20 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:
|
| A D | rv-list.rst | 35 Linux kernel *RV* documentation:
|
| A D | rv-mon-wwnr.rst | 35 Linux kernel *RV* documentation:
|
| A D | rv-mon-wip.rst | 36 Linux kernel *RV* documentation:
|
| A D | rv-mon.rst | 47 Linux kernel *RV* documentation:
|
| /linux-6.3-rc2/Documentation/trace/rv/ |
| A D | runtime-verification.rst | 5 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
|
| A D | da_monitor_synthesis.rst | 4 The starting point for the application of runtime verification (RV) technics
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
|
| A D | da_monitor_instrumentation.rst | 4 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.3-rc2/Documentation/devicetree/bindings/riscv/ |
| A D | sunxi.yaml | 43 - description: Lichee RV SoM
48 - description: Carrier boards for the Lichee RV SoM
|
| /linux-6.3-rc2/arch/riscv/boot/dts/allwinner/ |
| A D | sun20i-d1-lichee-rv-86-panel-720p.dts | 7 model = "Sipeed Lichee RV 86 Panel (720p)";
|
| A D | sun20i-d1-lichee-rv-86-panel-480p.dts | 7 model = "Sipeed Lichee RV 86 Panel (480p)";
|
| A D | sun20i-d1-lichee-rv.dts | 14 model = "Sipeed Lichee RV";
|
| A D | sun20i-d1-lichee-rv-dock.dts | 10 model = "Sipeed Lichee RV Dock";
|
| /linux-6.3-rc2/Documentation/devicetree/bindings/rtc/ |
| A D | microcrystal,rv3028.yaml | 7 title: Microchip RV-3028 RTC
|
| A D | microcrystal,rv3032.yaml | 7 title: Microchip RV-3032 RTC
|
| /linux-6.3-rc2/drivers/comedi/drivers/tests/ |
| A D | ni_routes_test.c | 123 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.3-rc2/sound/soc/amd/ |
| A D | Kconfig | 45 tristate "AMD RV support for RT5682"
|
| /linux-6.3-rc2/ |
| A D | MAINTAINERS | 18213 RUNTIME VERIFICATION (RV)
|