pmap_mmu_name
const char *pmap_mmu_name(void);
strncpy(mdhdr.mmu_name, pmap_mmu_name(), sizeof(mdhdr.mmu_name) - 1);