Searched refs:PTB_DATA_BASE_SHIFT (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/plat/tk1/machine/ | ||
| H A D | smmu.c | 25 #define PTB_DATA_BASE_SHIFT 12 macro 131 ret = (pd_base >> PTB_DATA_BASE_SHIFT); |
Completed in 29 milliseconds