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

/seL4-l4v-10.1.1/seL4/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
282 uint32_t UNUSED nonsecure = (err_status & MC_ERR_INVALID_SMMU_PAGE_NONSECURE_MASK); local

Completed in 30 milliseconds