add_ram()
Synopsis:
void add_ram(paddr_t start,
paddr_t size);
Description:
Tell the system that there's RAM available starting at physical address start for size bytes.
Page updated:
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.