/seL4-test-master/tools/riscv-pk/pk/ |
H A D | syscall.c | 45 ssize_t sys_pread(int fd, char* buf, size_t n, off_t offset) argument 321 uintptr_t sys_mmap(uintptr_t addr, size_t length, int prot, int flags, int fd, off_t offset) argument
|
/seL4-test-master/kernel/src/object/ |
H A D | cnode.c | 926 const int offset = seL4_MsgMaxLength + seL4_MsgMaxExtraCaps + 2; local
|
/seL4-test-master/kernel/src/plat/pc99/machine/ |
H A D | intel-vtd.c | 93 static inline uint32_t vtd_read32(drhu_id_t drhu_id, uint32_t offset) argument 98 static inline void vtd_write32(drhu_id_t drhu_id, uint32_t offset, uint32_t value) argument 104 static inline uint64_t vtd_read64(drhu_id_t drhu_id, uint32_t offset) argument 109 static inline void vtd_write64(drhu_id_t drhu_id, uint32_t offset, uint64_t value) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
H A D | vusb.c | 248 int offset; local
|
/seL4-test-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1547 word_t offset; local
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | lapic.c | 662 static uint32_t __apic_read(vm_lapic_t *apic, unsigned int offset) argument 798 void vm_apic_mmio_write(vm_vcpu_t *vcpu, void *cookie, uint32_t offset, argument 821 apic_reg_read(vm_lapic_t *apic, uint32_t offset, int len, void *data) argument 857 vm_apic_mmio_read(vm_vcpu_t *vcpu, void *cookie, uint32_t offset, int len, uint32_t *data) argument [all...] |
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | vcpu.c | 977 int offset = bit % (sizeof(word_t) * 8); local
|
/seL4-test-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1329 unsigned int offset; local 2863 word_t offset; local [all...] |
/seL4-test-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1414 word_t offset; local 2471 word_t offset; local [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/vgic/ |
H A D | vgic.c | 640 int offset = fault_get_address(fault) - d->pstart; local 795 int offset = fault_get_address(fault) - d->pstart; local [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/ |
H A D | guest_boot_info.h | 72 uint32_t offset; member in struct:apm_bios_info
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | ethtool.h | 108 uint32_t offset; /* in bytes */ member in struct:ethtool_eeprom
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | ethtool.h | 109 uint32_t offset; /* in bytes */ member in struct:ethtool_eeprom
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | ethtool.h | 108 uint32_t offset; /* in bytes */ member in struct:ethtool_eeprom
|