Home
last modified time | relevance | path

Searched defs:val (Results 1 – 25 of 30) sorted by relevance

12

/seL4-master/include/arch/x86/arch/64/mode/machine/
A Dcpu_registers.h16 static inline void write_cr3(unsigned long val) in write_cr3()
23 unsigned long val; in read_cr0() local
28 static inline void write_cr0(unsigned long val) in write_cr0()
35 unsigned long val; in read_cr2() local
42 unsigned long val; in read_cr4() local
47 static inline void write_cr4(unsigned long val) in write_cr4()
A Ddebug.h25 static inline void writeDr6Reg(word_t val) in writeDr6Reg()
43 static inline void writeDr7Reg(word_t val) in writeDr7Reg()
73 static inline void writeDrReg(uint8_t reg, word_t val) in writeDrReg()
/seL4-master/include/arch/x86/arch/32/mode/machine/
A Dcpu_registers.h12 unsigned long val; in read_cr3() local
17 static inline void write_cr3(unsigned long val) in write_cr3()
24 unsigned long val; in read_cr0() local
29 static inline void write_cr0(unsigned long val) in write_cr0()
36 unsigned long val; in read_cr2() local
43 unsigned long val; in read_cr4() local
A Ddebug.h24 static inline void writeDr6Reg(word_t val) in writeDr6Reg()
42 static inline void writeDr7Reg(word_t val) in writeDr7Reg()
72 static inline void writeDrReg(uint8_t reg, word_t val) in writeDrReg()
/seL4-master/include/arch/arm/armv/armv7-a/armv/
A Dvcpu.h43 static inline void set_lr_svc(word_t val) in set_lr_svc()
55 static inline void set_sp_svc(word_t val) in set_sp_svc()
67 static inline void set_spsr_svc(word_t val) in set_spsr_svc()
79 static inline void set_lr_abt(word_t val) in set_lr_abt()
91 static inline void set_sp_abt(word_t val) in set_sp_abt()
115 static inline void set_lr_und(word_t val) in set_lr_und()
127 static inline void set_sp_und(word_t val) in set_sp_und()
151 static inline void set_lr_irq(word_t val) in set_lr_irq()
163 static inline void set_sp_irq(word_t val) in set_sp_irq()
187 static inline void set_lr_fiq(word_t val) in set_lr_fiq()
[all …]
A Dbenchmark.h21 word_t val; in armv_enableOverflowIRQ() local
29 word_t val = BIT(CCNT_INDEX); in armv_handleOverflowIRQ() local
A Ddebug.h33 static inline void writeDscrCp(word_t val) in writeDscrCp()
/seL4-master/include/arch/arm/armv/armv8-a/32/armv/
A Dvcpu.h43 static inline void set_lr_svc(word_t val) in set_lr_svc()
55 static inline void set_sp_svc(word_t val) in set_sp_svc()
67 static inline void set_spsr_svc(word_t val) in set_spsr_svc()
79 static inline void set_lr_abt(word_t val) in set_lr_abt()
91 static inline void set_sp_abt(word_t val) in set_sp_abt()
115 static inline void set_lr_und(word_t val) in set_lr_und()
127 static inline void set_sp_und(word_t val) in set_sp_und()
151 static inline void set_lr_irq(word_t val) in set_lr_irq()
163 static inline void set_sp_irq(word_t val) in set_sp_irq()
187 static inline void set_lr_fiq(word_t val) in set_lr_fiq()
[all …]
A Dbenchmark.h21 word_t val; in armv_enableOverflowIRQ() local
29 word_t val = BIT(CCNT_INDEX); in armv_handleOverflowIRQ() local
A Ddebug.h33 static inline void writeDscrCp(word_t val) in writeDscrCp()
/seL4-master/include/arch/arm/armv/armv8-a/64/armv/
A Dbenchmark.h21 uint32_t val; in armv_enableOverflowIRQ() local
29 uint32_t val = BIT(CCNT_INDEX); in armv_handleOverflowIRQ() local
/seL4-master/src/arch/arm/armv/armv8-a/64/
A Duser_access.c26 uint32_t val = PMUSERENR_EL0_EN; in check_export_pmu() local
33 uint32_t val = 0; in check_export_arch_timer() local
/seL4-master/src/arch/arm/benchmark/
A Dbenchmark.c26 uint32_t val = (BIT(PMCR_ENABLE) | BIT(PMCR_CCNT_RESET) | BIT(PMCR_ECNT_RESET)); in arm_init_ccnt() local
/seL4-master/include/arch/arm/arch/32/mode/
A Dmachine.h152 word_t val = 0; in readTTBR0() local
157 static inline void writeTTBR0(word_t val) in writeTTBR0()
172 word_t val = 0; in readTTBR1() local
177 static inline void writeTTBR1(word_t val) in writeTTBR1()
185 word_t val = 0; in readTTBCR() local
190 static inline void writeTTBCR(word_t val) in writeTTBCR()
/seL4-master/src/drivers/timer/
A Dgeneric_timer.c59 uint64_t val; in read_cntpct() local
/seL4-master/include/drivers/irq/
A Driscv_plic0.h74 static inline void writel(uint32_t val, uint64_t addr) in writel()
137 uint32_t val = 0; in plic_mask_irq() local
/seL4-master/src/arch/arm/machine/
A Dgic_v3.c80 uint32_t val; in gicv3_do_wait_for_rwp() local
125 uint32_t val = 0; in gicv3_enable_sre() local
185 uint32_t val; in gicr_locate_interface() local
A Ddebug.c328 static void writeBcrContext(tcb_t *t, uint16_t index, word_t val) in writeBcrContext()
334 static void writeBvrContext(tcb_t *t, uint16_t index, word_t val) in writeBvrContext()
340 static void writeWcrContext(tcb_t *t, uint16_t index, word_t val) in writeWcrContext()
346 static void writeWvrContext(tcb_t *t, uint16_t index, word_t val) in writeWvrContext()
/seL4-master/src/api/
A Dsyscall.c161 uint64_t val; in handleUnknownSyscall() local
171 uint64_t val; in handleUnknownSyscall() local
/seL4-master/include/arch/x86/arch/kernel/
A Dx2apic.h47 static inline void apic_write_reg(apic_reg_t reg, uint32_t val) in apic_write_reg()
A Dxapic.h48 static inline void apic_write_reg(apic_reg_t reg, uint32_t val) in apic_write_reg()
/seL4-master/libsel4/include/sel4/
A Ddeprecated.h100 seL4_ExceptIPC_Set(seL4_Word index, seL4_Word val) in seL4_ExceptIPC_Set()
/seL4-master/src/drivers/smmu/
A Dsmmuv2.c62 static inline void smmu_write_reg32(pptr_t base, uint32_t index, uint32_t val) in smmu_write_reg32()
72 static inline void smmu_write_reg64(pptr_t base, uint32_t index, uint64_t val) in smmu_write_reg64()
/seL4-master/src/
A Dutil.c106 long val = 0; in str_to_long() local
/seL4-master/include/arch/arm/arch/machine/
A Dgic_v3.h294 uint32_t val = 0; in getActiveIRQ() local
317 uint32_t val = 0; in isIRQPending() local

Completed in 40 milliseconds

12