Searched refs:mmu_type (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/tools/riscv-pk/machine/
H A Dfdt.c621 char *mmu_type; member in struct:hart_filter
629 filter->mmu_type = NULL;
646 filter->mmu_type = (char*)prop->value;
652 if (filter->mmu_type == NULL) return true;
654 if (!strcmp(filter->mmu_type, "riscv,sv32")) return false;
655 if (!strcmp(filter->mmu_type, "riscv,sv39")) return false;
656 if (!strcmp(filter->mmu_type, "riscv,sv48")) return false;
657 printm("hart_filter_mask saw unknown hart type: status=\"%s\", mmu_type=\"%s\"\n",
658 filter->status, filter->mmu_type);

Completed in 27 milliseconds