granule_type_str
dprintf("MMU Enabled, Granularity %s, bits %d\n", granule_type_str(arch_mmu_user_granule()),
extern const char* granule_type_str(int tg);