Home
last modified time | relevance | path

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

123

/openbmc/linux/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 …]
/openbmc/linux/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 …]
/openbmc/linux/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 …]
/openbmc/openbmc/meta-openembedded/meta-oe/recipes-graphics/directfb/
H A Ddirectfb.inc71 # inputdrivers_libdir = d.expand('${libdir}/directfb-${RV}/inputdrivers')
79 ${libdir}/directfb-${RV}/systems/*.la \
80 ${libdir}/directfb-${RV}/inputdrivers/*.la \
81 ${libdir}/directfb-${RV}/interfaces/*/*.la \
82 ${libdir}/directfb-${RV}/wm/*.la \
86 ${libdir}/directfb-${RV}/systems/*.so \
87 ${libdir}/directfb-${RV}/inputdrivers/*.so \
88 ${libdir}/directfb-${RV}/interfaces/*/*.so \
89 ${libdir}/directfb-${RV}/wm/*.so \
H A Ddirectfb_1.7.7.bb3 RV = "1.7-7"
/openbmc/linux/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
29 depends on RV
42 depends on RV
56 depends on RV
/openbmc/linux/tools/verification/rv/
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:
/openbmc/qemu/target/riscv/
H A Dcpu.h59 #define RVI RV('I')
61 #define RVM RV('M')
62 #define RVA RV('A')
63 #define RVF RV('F')
64 #define RVD RV('D')
65 #define RVV RV('V')
66 #define RVC RV('C')
67 #define RVS RV('S')
68 #define RVU RV('U')
69 #define RVH RV('H')
[all …]
/openbmc/linux/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:
H A Drv-mon-wip.rst36 Linux kernel *RV* documentation:
H A Drv-mon.rst47 Linux kernel *RV* documentation:
/openbmc/linux/Documentation/trace/rv/
H A 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
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
H A 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()"
/openbmc/linux/Documentation/devicetree/bindings/riscv/
H A Dsunxi.yaml43 - description: Lichee RV SoM
48 - description: Carrier boards for the Lichee RV SoM
/openbmc/linux/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)";
H A Dsun20i-d1-lichee-rv.dts14 model = "Sipeed Lichee RV";
H A Dsun20i-d1-lichee-rv-dock.dts10 model = "Sipeed Lichee RV Dock";
/openbmc/linux/Documentation/devicetree/bindings/rtc/
H A Dmicrocrystal,rv3028.yaml7 title: Microchip RV-3028 RTC
H A Dmicrocrystal,rv3032.yaml7 title: Microchip RV-3032 RTC
/openbmc/docs/release/metrics/
H A D2019-11151 1000414 Rashmi-RV,0
H A D2020-02186 1000414 Rashmi-RV,1

123