/seL4-master/src/arch/arm/32/ |
A D | hyp_traps.S | 15 #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 D | vcpu.h | 135 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 D | machine.h | 29 #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 D | machine_pl2.h | 11 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 D | machine.h | 80 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 D | machine.h | 47 #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 D | machine.h | 47 #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 D | registerset.h | 29 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 D | smmuv2.c | 180 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 D | debug.h | 51 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 D | debug.h | 50 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 D | ioapic.c | 20 #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 D | traps.S | 87 #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 D | thread.h | 8 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 D | thread.h | 9 static inline word_t CONST sanitiseRegister(register_t reg, word_t v, bool_t archInfo) in sanitiseRegister()
|
/seL4-master/src/arch/x86/machine/ |
A D | registerset.c | 28 word_t sanitiseRegister(register_t reg, word_t v, bool_t archInfo) in sanitiseRegister()
|
/seL4-master/include/arch/arm/arch/32/mode/ |
A D | machine.h | 195 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 D | registerset.c | 57 word_t Mode_sanitiseRegister(register_t reg, word_t v) in Mode_sanitiseRegister()
|
/seL4-master/src/arch/x86/32/machine/ |
A D | registerset.c | 54 word_t Mode_sanitiseRegister(register_t reg, word_t v) in Mode_sanitiseRegister()
|
/seL4-master/include/arch/arm/arch/object/ |
A D | vcpu.h | 135 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 D | boot.c | 46 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 D | x2apic.h | 42 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 D | xapic.h | 43 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 D | machine.h | 45 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 D | machine.h | 100 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()
|