Searched defs:read (Results 1 - 3 of 3) sorted by relevance

/seL4-mcs-10.1.1/src/arch/x86/object/
H A Diospace.c395 bool_t read = seL4_CapRights_get_capAllowRead(dma_cap_rights_mask) && (frame_cap_rights != VMKernelOnly); local
/seL4-mcs-10.1.1/src/plat/tk1/machine/
H A Dsmmu.c128 make_ptb_data(uint32_t pd_base, bool_t read, bool_t write, bool_t nonsecure) argument
280 uint32_t UNUSED read = (err_status & MC_ERR_INVALID_SMMU_PAGE_READ_MASK); local
/seL4-mcs-10.1.1/src/arch/riscv/kernel/
H A Dvspace.c83 uint8_t read = is_leaf ? 1 : 0; local
[all...]

Completed in 70 milliseconds