mm.c

mm.c

void __attribute__ ((section (".entry.text")))
uefi_init_get_vmmsize (u32 *vmmsize, u32 *align)
{
	*vmmsize = VMMSIZE_ALL;
	*align = 0x400000;
}