Hmm... I feel likw I still haven't found the seperate between user and kernel memory, don't both call steal_ram?