Home
last modified time | relevance | path

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

/seL4-master/src/plat/tk1/machine/
A Dsmmu.c119 static uint32_t make_ptb_data(uint32_t pd_base, bool_t read, bool_t write, bool_t nonsecure) in make_ptb_data()
258 uint32_t UNUSED read = (err_status & MC_ERR_INVALID_SMMU_PAGE_READ_MASK); in plat_smmu_handle_interrupt() local
/seL4-master/src/arch/x86/object/
A Diospace.c380 …bool_t read = seL4_CapRights_get_capAllowRead(dma_cap_rights_mask) && (frame_cap_rights != VMKerne… in decodeX86IOMapInvocation() local
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c67 uint8_t read = is_leaf ? 1 : 0; in pte_next() local
652 word_t read = RISCVGetReadFromVMRights(vm_rights); in makeUserPTE() local

Completed in 30 milliseconds