/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | pmic.c | 81 pmic_init(i2c_bus_t* i2c, int addr, pmic_t* pmic) argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
H A D | clock.c | 40 static inline uint32_t reg_read(uintptr_t addr) argument 69 static inline void reg_write(uintptr_t addr, uint32_t v) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 73 static inline uint16_t omap4_i2c_reg_read(omap4_i2c_dev_t *dev, int addr) argument 78 static inline void omap4_i2c_reg_write(omap4_i2c_dev_t *dev, int addr, uint16_t val) argument
|
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 73 static inline uint16_t omap4_i2c_reg_read(omap4_i2c_dev_t *dev, int addr) argument 78 static inline void omap4_i2c_reg_write(omap4_i2c_dev_t *dev, int addr, uint16_t val) argument
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/ |
H A D | platform_init.c | 196 volatile uint32_t *addr = (volatile uint32_t *)IMX6_CSU_PADDR; local
|
/seL4-refos-master/tools/elfloader/src/plat/imx6/ |
H A D | platform_init.c | 196 volatile uint32_t *addr = (volatile uint32_t *)IMX6_CSU_PADDR; local
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | miiphyutil.c | 254 int miiphy_read(const char *devname, unsigned char addr, unsigned char reg, argument 284 int miiphy_write(const char *devname, unsigned char addr, unsigned char reg, argument 331 int miiphy_info(const char *devname, unsigned char addr, unsigned int *oui, argument 413 miiphy_speed(const char *devname, unsigned char addr) argument 473 miiphy_duplex(const char *devname, unsigned char addr) argument 538 miiphy_is_1000base_x(const char *devname, unsigned char addr) argument 559 miiphy_link(const char *devname, unsigned char addr) argument [all...] |
H A D | phy.c | 646 static struct phy_device *phy_device_create(struct mii_dev *bus, int addr, argument 690 int __weak get_phy_id(struct mii_dev *bus, int addr, int devad, u32 *phy_id) argument 721 int addr = ffs(phy_mask) - 1; local 737 int addr = ffs(phy_mask) - 1; local 772 int addr = ffs(phy_mask) - 1; local 789 get_phy_device(struct mii_dev *bus, int addr, phy_interface_t interface) argument 848 miiphy_reset(const char *devname, unsigned char addr) argument 894 phy_connect(struct mii_dev *bus, int addr, struct udevice *dev, phy_interface_t interface) argument [all...] |
H A D | phy.h | 183 int addr; member in struct:phy_device [all...] |
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/ |
H A D | machine_pl2.h | 47 static inline void setCurrentPDPL2(paddr_t addr) argument 56 static inline void setCurrentHypPD(paddr_t addr) argument
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/ |
H A D | machine.h | 16 static inline cr3_t makeCR3(paddr_t addr, word_t pcid) argument 95 static inline void setCurrentVSpaceRoot(paddr_t addr, word_t pcid) argument 100 static inline void setCurrentUserVSpaceRoot(paddr_t addr, word_t pcid) argument 136 uint64_t addr; member in struct:invpcid_desc
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 374 void *addr; member in struct:__anon13
|
/seL4-refos-master/kernel/include/arch/riscv/arch/ |
H A D | machine.h | 200 static inline void setVSpaceRoot(paddr_t addr, asid_t asid) argument
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/elf/ |
H A D | elf64.h | 102 static uint64_t elf64_read64(void *addr) argument
|
/seL4-refos-master/tools/elfloader/include/binaries/elf/ |
H A D | elf64.h | 102 static uint64_t elf64_read64(void *addr) argument
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | zynq_gem.c | 379 static int zynq_gem_miiphyread(const char *devname, uchar addr, argument 390 static int zynq_gem_miiphy_write(const char *devname, uchar addr, argument
|
H A D | phy.h | 180 int addr; member in struct:phy_device [all...] |
/seL4-refos-master/kernel/include/drivers/irq/ |
H A D | riscv_plic0.h | 69 static inline uint32_t readl(uint64_t addr) argument 74 static inline void writel(uint32_t val, uint64_t addr) argument 81 word_t addr = PLAT_PLIC_EN_ADJUST(PLIC_EN + hart_id * PLIC_EN_PER_HART + context_id * PLIC_EN_PER_CONTEXT); local 88 word_t addr = PLAT_PLIC_THRES_ADJUST(PLIC_THRES + hart_id * PLIC_THRES_PER_HART + context_id * PLIC_THRES_PER_CONTEXT); local 94 word_t addr = plic_thres_offset(hart_id, context_id) + PLIC_THRES_CLAIM; local 100 word_t addr = PLIC_PPTR_BASE + PLIC_PENDING + (interrupt / 32) * 4; local 134 uint64_t addr = 0; local [all...] |
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/ |
H A D | machine.h | 206 static inline void setVtable(pptr_t addr) argument
|
/seL4-refos-master/libs/librefos/src/refos-rpc/ |
H A D | rpc.c | 59 rpc_free(void *addr) argument 391 rpc_sv_track_obj(void* cl, void* addr) argument
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | elf.c | 518 uintptr_t *addr = (uintptr_t *)sel4utils_elf_get_section(elf_file, "__vsyscall", NULL); local 530 void *addr = elf_getSectionNamed(elf_file, section_name, §ion_id); local
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-rpc/ |
H A D | rpc.c | 59 rpc_free(void *addr) argument 391 rpc_sv_track_obj(void* cl, void* addr) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | elf.c | 518 uintptr_t *addr = (uintptr_t *)sel4utils_elf_get_section(elf_file, "__vsyscall", NULL); local 530 void *addr = elf_getSectionNamed(elf_file, section_name, §ion_id); local
|
/seL4-refos-master/libs/libmuslc/arch/s390x/bits/ |
H A D | signal.h | 15 unsigned long addr; member in struct:__anon224
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | lookup_name.c | 213 unsigned char addr[16]; member in struct:policy [all...] |