Home
last modified time | relevance | path

Searched defs:reg (Results 1 – 25 of 43) sorted by relevance

12

/seL4-master/src/arch/arm/32/
A Dhyp_traps.S15 #define HVBAR(reg) p15, 4, reg, c12, c0, 0 argument
16 #define HCR(reg) p15, 4, reg, c1 , c1, 0 argument
17 #define HSCTLR(reg) p15, 4, reg, c1 , c0, 0 argument
18 #define HACTLR(reg) p15, 4, reg, c1 , c0, 1 argument
19 #define HDCR(reg) p15, 4, reg, c1 , c1, 1 argument
20 #define HCPTR(reg) p15, 4, reg, c1 , c1, 2 argument
21 #define HSTR(reg) p15, 4, reg, c1 , c1, 3 argument
22 #define HACR(reg) p15, 4, reg, c1 , c1, 7 argument
23 #define HTCR(reg) p15, 4, reg, c2 , c0, 2 argument
24 #define HADFSR(reg) p15, 4, reg, c5 , c1, 0 argument
[all …]
/seL4-master/include/arch/arm/armv/armv8-a/64/armv/
A Dvcpu.h135 word_t reg; in readTTBR0() local
147 word_t reg; in readTTBR1() local
159 word_t reg; in readTCR() local
171 word_t reg; in readMAIR() local
183 word_t reg; in readAMAIR() local
207 word_t reg; in readACTLR() local
255 word_t reg; in readFAR() local
275 word_t reg; in readVBAR() local
287 word_t reg; in readSP_EL1() local
299 word_t reg; in readELR_EL1() local
[all …]
A Dmachine.h29 #define MRS(reg, v) asm volatile("mrs %x0," reg : "=r"(v)) argument
30 #define MSR(reg, v) \ argument
36 #define SYSTEM_WRITE_WORD(reg, v) MSR(reg, v) argument
37 #define SYSTEM_READ_WORD(reg, v) MRS(reg, v) argument
38 #define SYSTEM_WRITE_64(reg, v) MSR(reg, v) argument
39 #define SYSTEM_READ_64(reg, v) MRS(reg, v) argument
/seL4-master/include/arch/arm/arch/64/mode/
A Dmachine_pl2.h11 static inline void writeTPIDR_EL2(word_t reg) in writeTPIDR_EL2()
18 word_t reg; in readTPIDR_EL2() local
25 static inline void writeTPIDR_EL2(word_t reg) {} in writeTPIDR_EL2()
A Dmachine.h80 static inline void writeTPIDR_EL0(word_t reg) in writeTPIDR_EL0()
87 word_t reg; in readTPIDR_EL0() local
92 static inline void writeTPIDRRO_EL0(word_t reg) in writeTPIDRRO_EL0()
99 word_t reg; in readTPIDRRO_EL0() local
104 static inline void writeTPIDR_EL1(word_t reg) in writeTPIDR_EL1()
111 word_t reg; in readTPIDR_EL1() local
/seL4-master/include/arch/arm/armv/armv7-a/armv/
A Dmachine.h47 #define SYSTEM_WRITE_WORD(reg, v) MCR(reg, v) argument
48 #define SYSTEM_READ_WORD(reg, v) MRC(reg, v) argument
49 #define SYSTEM_WRITE_64(reg, v) MCRR(reg, v) argument
50 #define SYSTEM_READ_64(reg, v) MRRC(reg, v) argument
/seL4-master/include/arch/arm/armv/armv8-a/32/armv/
A Dmachine.h47 #define SYSTEM_WRITE_WORD(reg, v) MCR(reg, v) argument
48 #define SYSTEM_READ_WORD(reg, v) MRC(reg, v) argument
49 #define SYSTEM_WRITE_64(reg, v) MCRR(reg, v) argument
50 #define SYSTEM_READ_64(reg, v) MRRC(reg, v) argument
/seL4-master/include/machine/
A Dregisterset.h29 static inline void setRegister(tcb_t *thread, register_t reg, word_t w) in setRegister()
34 static inline word_t PURE getRegister(tcb_t *thread, register_t reg) in getRegister()
/seL4-master/src/drivers/smmu/
A Dsmmuv2.c180 uint32_t reg, field; in smmu_config_prob() local
278 uint32_t reg = 0; in smmu_dev_reset() local
380 uint32_t reg = 0; in smmu_config_stage2() local
407 uint32_t reg = 0; in smmu_config_stage1() local
469 uint32_t reg = 0; in smmu_cb_assign_vspace() local
537 uint32_t reg = smmu_read_reg32(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_SCTLR); in smmu_cb_disable() local
546 uint32_t reg = 0; in smmu_sid_bind_cb() local
563 uint32_t reg = S2CR_TYPE_SET(S2CR_TYPE_FAULT); in smmu_sid_unbind() local
590 uint32_t reg = TLBIVMID_SET(cb); in smmu_tlb_invalidate_cb() local
607 uint64_t reg = CBn_TLBIIPAS2_SET(vaddr); in smmu_tlb_invalidate_cb_va() local
[all …]
/seL4-master/include/arch/x86/arch/64/mode/machine/
A Ddebug.h51 static inline word_t readDrReg(uint8_t reg) in readDrReg()
73 static inline void writeDrReg(uint8_t reg, word_t val) in writeDrReg()
/seL4-master/include/arch/x86/arch/32/mode/machine/
A Ddebug.h50 static inline word_t readDrReg(uint8_t reg) in readDrReg()
72 static inline void writeDrReg(uint8_t reg, word_t val) in writeDrReg()
/seL4-master/src/plat/pc99/machine/
A Dioapic.c20 #define IOREDTBL_LOW(reg) (IOAPIC_REG_IOREDTBL + (reg) * 2) argument
21 #define IOREDTBL_HIGH(reg) (IOREDTBL_LOW(reg) + 1) argument
42 static void ioapic_write(uint32_t ioapic, word_t reg, uint32_t value) in ioapic_write()
47 static uint32_t ioapic_read(uint32_t ioapic, word_t reg) in ioapic_read()
/seL4-master/src/arch/x86/64/
A Dtraps.S87 #define LOAD_KERNEL_AS(reg) \ argument
91 #define LOAD_KERNEL_AS(reg) \ argument
97 #define LOAD_KERNEL_AS(reg) argument
/seL4-master/include/arch/arm/arch/32/mode/kernel/
A Dthread.h8 static inline word_t sanitiseRegister(register_t reg, word_t v, bool_t archInfo) in sanitiseRegister()
/seL4-master/include/arch/arm/arch/64/mode/kernel/
A Dthread.h9 static inline word_t CONST sanitiseRegister(register_t reg, word_t v, bool_t archInfo) in sanitiseRegister()
/seL4-master/src/arch/x86/machine/
A Dregisterset.c28 word_t sanitiseRegister(register_t reg, word_t v, bool_t archInfo) in sanitiseRegister()
/seL4-master/include/arch/arm/arch/32/mode/
A Dmachine.h195 static inline void writeTPIDRURW(word_t reg) in writeTPIDRURW()
202 word_t reg; in readTPIDRURW() local
207 static inline void writeTPIDRURO(word_t reg) in writeTPIDRURO()
214 word_t reg; in readTPIDRURO() local
220 static inline void writeTPIDRPRW(word_t reg) in writeTPIDRPRW()
227 word_t reg; in readTPIDRPRW() local
250 word_t reg; in readMPIDR() local
255 static inline void writeDACR(word_t reg) in writeDACR()
262 word_t reg; in readDACR() local
/seL4-master/src/arch/x86/64/machine/
A Dregisterset.c57 word_t Mode_sanitiseRegister(register_t reg, word_t v) in Mode_sanitiseRegister()
/seL4-master/src/arch/x86/32/machine/
A Dregisterset.c54 word_t Mode_sanitiseRegister(register_t reg, word_t v) in Mode_sanitiseRegister()
/seL4-master/include/arch/arm/arch/object/
A Dvcpu.h135 static inline void vcpu_save_reg(vcpu_t *vcpu, word_t reg) in vcpu_save_reg()
151 static inline void vcpu_restore_reg(vcpu_t *vcpu, word_t reg) in vcpu_restore_reg()
167 static inline word_t vcpu_read_reg(vcpu_t *vcpu, word_t reg) in vcpu_read_reg()
176 static inline void vcpu_write_reg(vcpu_t *vcpu, word_t reg, word_t value) in vcpu_write_reg()
/seL4-master/src/kernel/
A Dboot.c46 BOOT_CODE bool_t reserve_region(p_region_t reg) in reserve_region()
99 BOOT_CODE static bool_t insert_region(region_t reg) in insert_region()
361 region_t reg, in create_frames_of_region()
600 region_t reg, in create_untypeds_for_region()
643 region_t reg = paddr_to_pptr_reg((p_region_t) { in create_untypeds() local
658 region_t reg = paddr_to_pptr_reg((p_region_t) { in create_untypeds() local
680 region_t reg = ndks_boot.freemem[i]; in create_untypeds() local
/seL4-master/include/arch/x86/arch/kernel/
A Dx2apic.h42 static inline uint32_t apic_read_reg(apic_reg_t reg) in apic_read_reg()
47 static inline void apic_write_reg(apic_reg_t reg, uint32_t val) in apic_write_reg()
A Dxapic.h43 static inline uint32_t apic_read_reg(apic_reg_t reg) in apic_read_reg()
48 static inline void apic_write_reg(apic_reg_t reg, uint32_t val) in apic_write_reg()
/seL4-master/include/
A Dmachine.h45 static inline p_region_t CONST pptr_to_paddr_reg(const region_t reg) in pptr_to_paddr_reg()
/seL4-master/include/arch/x86/arch/
A Dmachine.h100 static uint64_t x86_rdmsr(const uint32_t reg) in x86_rdmsr()
110 static inline uint32_t x86_rdmsr_low(const uint32_t reg) in x86_rdmsr_low()
115 static inline uint32_t x86_rdmsr_high(const uint32_t reg) in x86_rdmsr_high()
121 static inline void x86_wrmsr_parts(const uint32_t reg, const uint32_t high, const uint32_t low) in x86_wrmsr_parts()
126 static inline void x86_wrmsr(const uint32_t reg, const uint64_t val) in x86_wrmsr()

Completed in 33 milliseconds

12