Searched refs:pd_base (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/seL4/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 131 ret = (pd_base >> PTB_DATA_BASE_SHIFT); |
Completed in 33 milliseconds