| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
| H A D | phy.c | 797 int reg; local
|
| /seL4-refos-master/kernel/include/arch/arm/arch/32/mode/ |
| H A D | machine_pl2.h | 171 static inline void writeHTPIDR(word_t reg) argument
178 word_t reg; local
|
| /seL4-refos-master/kernel/include/arch/x86/arch/64/mode/ |
| H A D | machine.h | 219 static inline rdmsr_safe_result_t x86_rdmsr_safe(const uint32_t reg) argument
|
| /seL4-refos-master/kernel/src/arch/x86/kernel/ |
| H A D | boot_sys.c | 199 static BOOT_CODE bool_t add_mem_p_regs(p_region_t reg) argument
[all...] |
| /seL4-refos-master/kernel/src/api/ |
| H A D | syscall.c | 166 uint32_t reg = getRegister(NODE_STATE(ksCurThread), capRegister); local
176 uint32_t reg = getRegister(NODE_STATE(ksCurThread), capRegister); local
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
| H A D | zynq_gem.c | 379 zynq_gem_miiphyread(const char *devname, uchar addr, uchar reg, ushort *val) argument
390 zynq_gem_miiphy_write(const char *devname, uchar addr, uchar reg, ushort val) argument
|
| H A D | marvell.c | 174 int reg; local
283 u16 reg, mask; local
413 int reg; local
466 u16 reg; local
[all...] |
| /seL4-refos-master/kernel/src/arch/riscv/machine/ |
| H A D | hardware.c | 61 p_region_t reg = { local
|
| /seL4-refos-master/kernel/include/arch/arm/arch/64/mode/ |
| H A D | machine.h | 80 static inline void writeTPIDR_EL0(word_t reg) argument
87 word_t reg; local
92 static inline void writeTPIDRRO_EL0(word_t reg) argument
99 word_t reg; local
104 writeTPIDR_EL1(word_t reg) argument
111 word_t reg; local
[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...] |
| /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...] |
| /seL4-refos-master/kernel/include/arch/riscv/arch/machine/ |
| H A D | registerset.h | 125 static inline word_t CONST sanitiseRegister(register_t reg, word_t v, bool_t archInfo) argument
|
| /seL4-refos-master/kernel/include/arch/arm/arch/object/ |
| H A D | vcpu.h | 137 static inline void vcpu_save_reg(vcpu_t *vcpu, word_t reg) argument
153 static inline void vcpu_restore_reg(vcpu_t *vcpu, word_t reg) argument
169 static inline word_t vcpu_read_reg(vcpu_t *vcpu, word_t reg) argument
178 vcpu_write_reg(vcpu_t *vcpu, word_t reg, word_t value) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/mach/imx/serial/ |
| H A D | serial.c | 94 uint32_t reg = 0; local
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/serial/ |
| H A D | serial.c | 94 uint32_t reg = 0; local
|
| /seL4-refos-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
| H A D | vcpu.h | 403 word_t reg = 0; local
498 static void vcpu_hw_write_reg(word_t reg_index, word_t reg) argument
[all...] |
| /seL4-refos-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
| H A D | vcpu.h | 403 word_t reg = 0; local
498 static void vcpu_hw_write_reg(word_t reg_index, word_t reg) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
| H A D | mux.c | 277 volatile uint32_t *reg; local
|
| /seL4-refos-master/libs/libplatsupport/src/plat/tk1/ |
| H A D | mux.c | 277 volatile uint32_t *reg; local
|
| /seL4-refos-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
| H A D | vcpu.h | 403 word_t reg = 0; local
498 static void vcpu_hw_write_reg(word_t reg_index, word_t reg) argument
[all...] |
| /seL4-refos-master/kernel/src/drivers/smmu/ |
| H A D | smmuv2.c | 180 uint32_t reg, field; local
278 uint32_t reg = 0; local
380 uint32_t reg = 0; local
407 uint32_t reg = 0; local
469 uint32_t reg = 0; local
531 smmu_write_reg32(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_SCTLR, reg); local
537 uint32_t reg = smmu_read_reg32(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_SCTLR); local
539 smmu_write_reg32(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_SCTLR, reg); local
546 uint32_t reg = 0; local
563 uint32_t reg = S2CR_TYPE_SET(S2CR_TYPE_FAULT); local
590 uint32_t reg = TLBIVMID_SET(cb); local
607 uint64_t reg = CBn_TLBIIPAS2_SET(vaddr); local
608 smmu_write_reg64(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_TLBIIPAS2, reg); local
627 uint32_t reg = smmu_read_reg32(SMMU_GR0_PPTR, SMMU_sGFSR); local
[all...] |
| /seL4-refos-master/kernel/src/kernel/ |
| H A D | boot.c | 46 BOOT_CODE bool_t reserve_region(p_region_t reg) argument
97 insert_region(region_t reg) argument
344 create_frames_of_region( cap_t root_cnode_cap, cap_t pd_cap, region_t reg, bool_t do_map, sword_t pv_offset ) argument
584 create_untypeds_for_region( cap_t root_cnode_cap, bool_t device_memory, region_t reg, seL4_SlotPos first_untyped_slot ) argument
627 region_t reg = paddr_to_pptr_reg((p_region_t) { local
639 region_t reg = paddr_to_pptr_reg((p_region_t) { local
660 region_t reg; local
[all...] |
| /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
|
| /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
|
| /seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
| H A D | serial.c | 151 uint32_t reg = 0; local
|