linux-vybrid_public/arch/um/os-Linux/sys-x86_64/task_size.c

unsigned long os_get_task_size(unsigned long shift)
{
	/* The old value of CONFIG_TOP_ADDR */
	return 0x7fc0000000;
}