From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 9 Nov 2008 23:56:05 +0000 (-0800)
Subject: Rename ram_pages to init_ram_pages.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=94d17ee9287aec1c4c9ee37ca02615e8293a5f3a;hp=94d17ee9287aec1c4c9ee37ca02615e8293a5f3a;p=pintos-anon

Rename ram_pages to init_ram_pages.

This makes it conform to the Pintos convention that a global symbol name
begin with its module's name.
---