transcribe mm_defrag
transcribe mm_defrag

project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification