Searched defs:write (Results 1 - 7 of 7) sorted by relevance
| /seL4-mcs-10.1.1/src/arch/x86/object/ |
| H A D | iospace.c | 394 bool_t write = seL4_CapRights_get_capAllowWrite(dma_cap_rights_mask) && (frame_cap_rights == VMReadWrite); local
|
| /seL4-mcs-10.1.1/src/arch/arm/object/ |
| H A D | vcpu.c | 81 access_fpexc(vcpu_t *vcpu, bool_t write) argument
|
| /seL4-mcs-10.1.1/src/plat/tk1/machine/ |
| H A D | smmu.c | 128 make_ptb_data(uint32_t pd_base, bool_t read, bool_t write, bool_t nonsecure) argument
281 uint32_t UNUSED write = (err_status & MC_ERR_INVALID_SMMU_PAGE_WRITE_MASK); local
|
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | bitfield_gen.py | 2563 def write(self, *args, **kwargs): member in class:OutputFile
|
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 2563 def write(self, *args, **kwargs): member in class:OutputFile
|
| /seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
| H A D | vspace.c | 84 uint8_t write = read; local
|
| /seL4-mcs-10.1.1/tools/ |
| H A D | bitfield_gen.py | 2563 def write(self, *args, **kwargs): member in class:OutputFile
|
Completed in 68 milliseconds