add_ram()

void add_ram(paddr_t start, 
             paddr_t size);

Tell the system that there's RAM available starting at physical address start for size bytes.