1unsigned long os_get_top_address(unsigned long shift)
2{
3	/* The old value of CONFIG_TOP_ADDR */
4	return 0x7fc0000000;
5}