| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | display.c | 655 NhRegion* reg = visible_region_at(x,y); local
|
| H A D | region.c | 91 NhRegion *reg; local
880 NhRegion *reg; local
901 NhRegion *reg; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
| H A D | i2c.c | 48 _fill_reg(char* buf, uint64_t reg, enum kvfmt fmt) argument
61 _do_kvread(i2c_kvslave_t* kvs, uint64_t reg, void* data, int count) argument
100 _do_kvwrite(i2c_kvslave_t* kvs, uint64_t reg, const void* data, int count) argument
211 i2c_kvslave_read(i2c_kvslave_t* kvs, uint64_t reg, void* vdata, int count) argument
241 i2c_kvslave_write(i2c_kvslave_t* kvs, uint64_t reg, const void* vdata, int count) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
| H A D | clock.h | 131 clkid_decode(int clkid, int* cmu, int* reg, int* off) argument
151 clkbf_get(volatile uint32_t* reg, int start_bit, int nbits) argument
159 clkbf_set(volatile uint32_t* reg, in argument
[all...] |
| H A D | pmic.c | 62 pmic_reg_read(pmic_t* pmic, uint8_t reg, void* data, int count) argument
68 pmic_reg_write(pmic_t* pmic, uint8_t reg, const void* data, int count) argument
|
| H A D | pmic_rtc.c | 57 pmic_rtc_reg_read(pmic_rtc_t* dev, uint8_t reg, void* data, int count) argument
63 pmic_rtc_reg_write(pmic_rtc_t* dev, uint8_t reg, const void* data, int count) argument
|
| /seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
| H A D | serial.c | 151 uint32_t reg = 0; local
|
| /seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
| H A D | clock.c | 42 uint32_t* reg; local
71 uint32_t* reg; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/exynos4/ |
| H A D | src.c | 40 void* reg = src->sysreg_vaddr[offset >> 12] + (offset & MASK(12)); local
|
| /seL4-refos-master/libs/libplatsupport/src/plat/exynos5/ |
| H A D | sysreg.c | 26 void* reg = sysreg->sysreg_vaddr[offset >> 12] + (offset & MASK(12)); local
|
| /seL4-refos-master/libs/libplatsupport/src/plat/imx6/ |
| H A D | clock.c | 646 uint32_t reg = gate / 16; local
|
| /seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
| H A D | rtc.c | 35 static unsigned char get_RTC_register(ps_io_port_ops_t *port_ops, int reg) argument
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | display.c | 655 NhRegion* reg = visible_region_at(x,y); local
|
| H A D | region.c | 91 NhRegion *reg; local
880 NhRegion *reg; local
901 NhRegion *reg; local
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
| H A D | sel4bench.h | 69 static inline uint64_t sel4bench_x86_rdmsr(uint32_t reg) { argument
83 static inline void sel4bench_x86_wrmsr(uint32_t reg, uint64_t val) { argument
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
| H A D | miiphyutil.c | 91 static int legacy_miiphy_read(struct mii_dev *bus, int addr, int devad, int reg) argument
298 int miiphy_read(const char *devname, unsigned char addr, unsigned char reg, argument
102 legacy_miiphy_write(struct mii_dev *bus, int addr, int devad, int reg, u16 val) argument
115 miiphy_register(const char *name, int (*read)(const char *devname, unsigned char addr, unsigned char reg, unsigned short *value), int (*write)(const char *devname, unsigned char addr, unsigned char reg, unsigned short value)) argument
326 miiphy_write(const char *devname, unsigned char addr, unsigned char reg, unsigned short value) argument
374 unsigned int reg = 0; local
415 unsigned short reg; local
592 unsigned short reg; local
[all...] |
| H A D | phy.c | 608 int reg; local
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
| H A D | marvell.c | 174 int reg; local
283 u16 reg, mask; local
413 int reg; local
466 u16 reg; local
[all...] |
| H A D | miiphyutil.c | 91 static int legacy_miiphy_read(struct mii_dev *bus, int addr, int devad, int reg) argument
298 int miiphy_read(const char *devname, unsigned char addr, unsigned char reg, argument
102 legacy_miiphy_write(struct mii_dev *bus, int addr, int devad, int reg, u16 val) argument
115 miiphy_register(const char *name, int (*read)(const char *devname, unsigned char addr, unsigned char reg, unsigned short *value), int (*write)(const char *devname, unsigned char addr, unsigned char reg, unsigned short value)) argument
326 miiphy_write(const char *devname, unsigned char addr, unsigned char reg, unsigned short value) argument
374 unsigned int reg = 0; local
415 unsigned short reg; local
592 unsigned short reg; local
[all...] |
| H A D | phy.c | 743 int reg; local
|
| /seL4-refos-master/projects/util_libs/libpci/src/ |
| H A D | ioreg.c | 55 uint32_t libpci_read_reg32(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg) { argument
61 void libpci_write_reg32(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg, uint32_t val) { argument
67 uint16_t libpci_read_reg16(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg) { argument
73 libpci_write_reg16(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg, uint16_t val) argument
79 libpci_read_reg8(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg) argument
84 libpci_write_reg8(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg, uint8_t val) argument
89 libpci_read_reg(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg, uint8_t size) argument
100 libpci_write_reg(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg, uint32_t val, uint8_t size) argument
111 libpci_portno_reverse_lookup(uint32_t port_no, uint8_t *bus, uint8_t *dev, uint8_t *fun, uint8_t *reg) argument
[all...] |
| H A D | virtual_pci.c | 126 uint8_t bus, dev, fun, reg; local
168 uint8_t bus, dev, fun, reg; local
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | i2c.c | 48 _fill_reg(char* buf, uint64_t reg, enum kvfmt fmt) argument
61 _do_kvread(i2c_kvslave_t* kvs, uint64_t reg, void* data, int count) argument
100 _do_kvwrite(i2c_kvslave_t* kvs, uint64_t reg, const void* data, int count) argument
211 i2c_kvslave_read(i2c_kvslave_t* kvs, uint64_t reg, void* vdata, int count) argument
241 i2c_kvslave_write(i2c_kvslave_t* kvs, uint64_t reg, const void* vdata, int count) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | clock.h | 131 clkid_decode(int clkid, int* cmu, int* reg, int* off) argument
151 clkbf_get(volatile uint32_t* reg, int start_bit, int nbits) argument
159 clkbf_set(volatile uint32_t* reg, in argument
[all...] |
| H A D | pmic.c | 62 pmic_reg_read(pmic_t* pmic, uint8_t reg, void* data, int count) argument
68 pmic_reg_write(pmic_t* pmic, uint8_t reg, const void* data, int count) argument
|