/seL4-refos-master/projects/util_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/util_libs/libplatsupport/src/plat/hifive/ |
H A D | uart.c | 54 uint32_t reg = regs->rxdata; local
|
/seL4-refos-master/libs/libplatsupport/src/plat/hifive/ |
H A D | uart.c | 54 uint32_t reg = regs->rxdata; local
|
/seL4-refos-master/kernel/src/plat/pc99/machine/ |
H A D | ioapic.c | 42 static void ioapic_write(uint32_t ioapic, word_t reg, uint32_t value) argument 47 static uint32_t ioapic_read(uint32_t ioapic, word_t reg) argument
|
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/fastpath/ |
H A D | fastpath.h | 97 register_t reg; local
|
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/ |
H A D | machine.h | 81 static inline rdmsr_safe_result_t x86_rdmsr_safe(const uint32_t reg) argument
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
H A D | fastpath.h | 99 register_t reg; local
|
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
H A D | xapic.h | 43 static inline uint32_t apic_read_reg(apic_reg_t reg) argument 48 static inline void apic_write_reg(apic_reg_t reg, uint32_t val) argument
|
H A D | x2apic.h | 42 static inline uint32_t apic_read_reg(apic_reg_t reg) argument 47 static inline void apic_write_reg(apic_reg_t reg, uint32_t val) argument
|
/seL4-refos-master/kernel/include/kernel/ |
H A D | boot.h | 45 static inline bool_t is_reg_empty(region_t reg) argument
|
/seL4-refos-master/kernel/include/arch/riscv/arch/fastpath/ |
H A D | fastpath.h | 79 register_t reg; local
|
/seL4-refos-master/kernel/include/object/ |
H A D | tcb.h | 28 setMR(tcb_t *receiver, word_t *receiveIPCBuffer, unsigned int offset, word_t reg) argument
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | region.c | 91 NhRegion *reg; local 880 NhRegion *reg; local 901 NhRegion *reg; local [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | region.c | 91 NhRegion *reg; local 880 NhRegion *reg; local 901 NhRegion *reg; local [all...] |
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
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/plat/apq8064/ |
H A D | clock.c | 42 uint32_t* reg; local 71 uint32_t* reg; local [all...] |
/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 | 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/libplatsupport/src/mach/exynos/ |
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/projects/util_libs/libplatsupport/src/plat/apq8064/ |
H A D | clock.c | 42 uint32_t* reg; local 71 uint32_t* reg; local [all...] |
/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 334 unsigned int reg = 0; local 561 unsigned short reg; local [all...] |