walk_system_ram_res_rev
walk_system_ram_res_rev(u64 start, u64 end, void *arg,
return walk_system_ram_res_rev(0, ULONG_MAX, kbuf, func);