| /seL4-master/include/object/ |
| A D | untyped.h | 27 #define GET_OFFSET_FREE_PTR(base, offset) ((void *)(((word_t)(base)) + (offset))) argument
28 #define OFFSET_TO_FREE_INDEX(offset) ((offset)>>seL4_MinUntypedBits) argument
|
| A D | tcb.h | 29 unsigned int offset, word_t reg) in setMR()
|
| /seL4-master/src/drivers/timer/ |
| A D | generic_timer.c | 110 uint64_t offset = vcpu_read_reg(vcpu, seL4_VCPUReg_CNTVOFF); in restore_virt_timer() local
118 uint64_t offset = ((uint64_t)offset_high << 32) | (uint64_t) offset_low; in restore_virt_timer() local
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | elf.c | 51 BOOT_CODE void elf_load(Elf32_Header_t *elfFile, seL4_Word offset) in elf_load()
|
| A D | vspace_32paging.c | 320 word_t offset; in readWordFromVSpace() local
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | elf.c | 49 BOOT_CODE void elf_load(Elf64_Header_t *elf, seL4_Word offset) in elf_load()
|
| A D | vspace.c | 1544 word_t offset; in readWordFromVSpace() local
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | intel-vtd.c | 93 static inline uint32_t vtd_read32(drhu_id_t drhu_id, uint32_t offset) in vtd_read32()
98 static inline void vtd_write32(drhu_id_t drhu_id, uint32_t offset, uint32_t value) in vtd_write32()
104 static inline uint64_t vtd_read64(drhu_id_t drhu_id, uint32_t offset) in vtd_read64()
109 static inline void vtd_write64(drhu_id_t drhu_id, uint32_t offset, uint64_t value) in vtd_write64()
|
| /seL4-master/include/arch/arm/arch/32/mode/kernel/ |
| A D | vspace.h | 27 unsigned int offset; member
|
| /seL4-master/src/arch/arm/machine/ |
| A D | gic_v2.c | 156 word_t offset = (IRQT_TO_IRQ(irq) % 16u) * 2; in setIRQTrigger() local
|
| A D | gic_v3.c | 182 word_t offset; in gicr_locate_interface() local
|
| /seL4-master/src/api/ |
| A D | faults.c | 30 lookup_fault_t luf, unsigned int offset) in setMRs_lookup_failure()
|
| /seL4-master/src/kernel/ |
| A D | cspace.c | 130 word_t capGuard, offset; in resolveAddressBits() local
|
| /seL4-master/src/object/ |
| A D | untyped.c | 241 word_t offset = FREE_INDEX_TO_OFFSET(cap_untyped_cap_get_capFreeIndex(prev_cap)); in resetUntypedCap() local
|
| A D | cnode.c | 926 const int offset = seL4_MsgMaxLength + seL4_MsgMaxExtraCaps + 2; in loadCapTransfer() local
|
| /seL4-master/tools/hardware/utils/ |
| A D | rule.py | 75 def set_kernel_offset(self, offset): argument
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 40 for (unsigned int offset = 0; offset < BIT(asidLowBits); offset++) { in deleteASIDPool() local
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 1280 unsigned int offset; in deleteASIDPool() local
2794 word_t offset; local
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 1419 word_t offset; in deleteASIDPool() local
2460 word_t offset; in readWordFromVSpace() local
|
| /seL4-master/src/arch/x86/object/ |
| A D | vcpu.c | 976 int offset = bit % (sizeof(word_t) * 8); in clear_bit() local
|