text: /*
   *  Port on Texas Instruments TMS320C6x architecture
   *
   *  Copyright (C) 2004, 2009, 2010, 2011 Texas Instruments Incorporated
   *  Author: Aurelien Jacquiot (aurelien.jacquiot@jaluna.com)
   *
   *  This program is free software; you can redistribute it and/or modify
   *  it under the terms of the GNU General Public License version 2 as
   *  published by the Free Software Foundation.
   */
  #include <linux/mm.h>
  #include <linux/swap.h>
  #include <linux/module.h>
  #include <linux/bootmem.h>
  #ifdef CONFIG_BLK_DEV_RAM
  #include <linux/blkdev.h>
  #endif
  #include <linux/initrd.h>
  
  #include <asm/sections.h>
  #include <asm/uaccess.h>
  
  /*
   * ZERO_PAGE is a special page that is used for zero-initialized
   * data and COW.
   */
  unsigned long empty_zero_page;
  EXPORT_SYMBOL(empty_zero_page);
  
  /*
   * paging_init() continues the virtual memory environment setup which
   * was begun by the code in arch/head.S.
   * The parameters are pointers to where to stick the starting and ending
   * addresses  of available kernel virtual memory.
   */
  void __init paging_init(void)
  {
  	struct pglist_data *pgdat = NODE_DATA(0);
  	unsigned long zones_size[MAX_NR_ZONES] = {0, };
  
  	empty_zero_page      = (unsigned long) alloc_bootmem_pages(PAGE_SIZE);
  	memset((void *)empty_zero_page, 0, PAGE_SIZE);
  
  	/*
  	 * Set up user data space
  	 */
  	set_fs(KERNEL_DS);
  
  	/*
  	 * Define zones
  	 */
  	zones_size[ZONE_NORMAL] = (memory_end - PAGE_OFFSET) >> PAGE_SHIFT;
  	pgdat->node_zones[ZONE_NORMAL].zone_start_pfn =
  		__pa(PAGE_OFFSET) >> PAGE_SHIFT;
  
  	free_area_init(zones_size);
  }
  
  void __init mem_init(void)
  {
  	int codek, datak;
  	unsigned long tmp;
  	unsigned long len = memory_end - memory_start;
  
  	high_memory = (void *)(memory_end & PAGE_MASK);
  
  	/* this will put all memory onto the freelists */
  	totalram_pages = free_all_bootmem();
  
  	codek = (_etext - _stext) >> 10;
  	datak = (_end - _sdata) >> 10;
  
  	tmp = nr_free_pages() << PAGE_SHIFT;
  	printk(KERN_INFO "Memory: %luk/%luk RAM (%dk kernel code, %dk data)\n",
  	       tmp >> 10, len >> 10, codek, datak);
  }
  
  #ifdef CONFIG_BLK_DEV_INITRD
  void __init free_initrd_mem(unsigned long start, unsigned long end)
  {
  	free_reserved_area(start, end, 0, "initrd");
  }
  #endif
  
  void __init free_initmem(void)
  {
  	free_initmem_default(0);
  }
  