Searched defs:reg (Results 76 - 85 of 85) sorted by relevance
1234
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
| H A D | serial.c | 151 uint32_t reg = 0; local
|
| /seL4-refos-master/kernel/include/arch/x86/arch/ |
| H A D | machine.h | 100 static uint64_t x86_rdmsr(const uint32_t reg) argument
110 static inline uint32_t x86_rdmsr_low(const uint32_t reg) argument
115 static inline uint32_t x86_rdmsr_high(const uint32_t reg) argument
121 static inline void x86_wrmsr_parts(const uint32_t reg, const uint32_t high, const uint32_t low) argument
126 static inline void x86_wrmsr(const uint32_t reg, const uint64_t val) argument
[all...] |
| /seL4-refos-master/kernel/include/arch/arm/armv/armv8-a/64/armv/ |
| H A D | vcpu.h | 135 word_t reg; local
140 static inline void writeTTBR0(word_t reg) argument
147 word_t reg; local
152 static inline void writeTTBR1(word_t reg) argument
159 word_t reg; local
164 writeTCR(word_t reg) argument
171 word_t reg; local
176 writeMAIR(word_t reg) argument
183 word_t reg; local
188 writeAMAIR(word_t reg) argument
195 uint32_t reg; local
200 writeCIDR(word_t reg) argument
207 word_t reg; local
212 writeACTLR(word_t reg) argument
219 uint32_t reg; local
224 writeAFSR0(word_t reg) argument
231 uint32_t reg; local
236 writeAFSR1(word_t reg) argument
243 uint32_t reg; local
248 writeESR(word_t reg) argument
255 word_t reg; local
260 writeFAR(word_t reg) argument
268 uint32_t reg; local
275 word_t reg; local
280 writeVBAR(word_t reg) argument
287 word_t reg; local
292 writeSP_EL1(word_t reg) argument
299 word_t reg; local
304 writeELR_EL1(word_t reg) argument
311 word_t reg; local
316 writeSPSR_EL1(word_t reg) argument
323 word_t reg; local
328 writeCPACR_EL1(word_t reg) argument
335 word_t reg; local
340 writeCNTV_TVAL_EL0(word_t reg) argument
347 word_t reg; local
352 writeCNTV_CTL_EL0(word_t reg) argument
359 word_t reg; local
364 writeCNTV_CVAL_EL0(word_t reg) argument
371 word_t reg; local
376 writeCNTVOFF_EL2(word_t reg) argument
383 word_t reg; local
388 writeCNTKCTL_EL1(word_t reg) argument
395 word_t reg; local
400 writeVMPIDR_EL2(word_t reg) argument
407 word_t reg = 0; local
466 vcpu_hw_write_reg(word_t reg_index, word_t reg) argument
[all...] |
| /seL4-refos-master/kernel/include/arch/arm/arch/32/mode/ |
| H A D | machine.h | 195 static inline void writeTPIDRURW(word_t reg) argument
215 static inline void writeTPIDRURO(word_t reg) argument
222 word_t reg; local
228 writeTPIDRPRW(word_t reg) argument
235 word_t reg; local
260 word_t reg; local
265 writeDACR(word_t reg) argument
272 word_t reg; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/imx6/ |
| H A D | clock.c | 646 uint32_t reg = gate / 16; local
|
| H A D | mux.c | 709 volatile uint32_t *reg; local
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
| H A D | clock.c | 646 uint32_t reg = gate / 16; local
|
| H A D | mux.c | 709 volatile uint32_t *reg; local
[all...] |
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
| H A D | enet.c | 390 int enet_mdio_read(struct enet *enet, uint16_t phy, uint16_t reg) argument
407 int enet_mdio_write(struct enet *enet, uint16_t phy, uint16_t reg, uint16_t data) argument
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
| H A D | intel.c | 271 static void phy_write(e1000_dev_t *dev, int phy, int reg, uint16_t data) argument
277 static uint16_t phy_read(e1000_dev_t *dev, int phy, int reg) argument
540 static uint16_t read_eeprom(e1000_dev_t *dev, uint16_t reg) argument
|
Completed in 128 milliseconds
1234