tree aea14cbb5bceb00a8300e3f583646ad308807bae
parent 8ca7a44433f32595bd366f4eddae2768a237be66
author Pierre-Clément Tosi <ptosi@google.com> 1688030378 +0000
committer Pierre-Clément Tosi <ptosi@google.com> 1688030378 +0000

vmbase: Rename configure_global_allocator_size

Test: -
Change-Id: Iae7130f235893a4ac8a55f8f5d2295eea22193ef