Rev 2414 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
size_t get_memory_size(void)
{
return machine_get_memory_size();
}
/** @}
*/