36 static inline void *set_pgt(
uint32_t idx,
void *pma)
67 assert(pgd && pgd[pgt_idx].p &&
"Failed to get valid PGD");
82 assert(!pgt[idx].
p &&
"Page table is already in use");
101 for (i = 0; i < idx; i++) {
106 for (j = 0; j < 32; j++) {
120 vma = set_pgt(idx, pma);
128 if ((byte[i] & 0xFF) == 0xFF) {
132 for (j = 0; j < 8; j++) {
134 if ((byte[i] & idx) == idx) {
142 vma = set_pgt(idx, pma);
181 TO_IDX(vma, pgt_idx, idx);
187 assert(pgt && pgt[idx].
p &&
"Page table is not valid");
274 TO_IDX(iterator, pgt_idx, idx);
277 if (pgd[pgt_idx].p) {