src/user/meminfo/meminfo.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

#include <pland/syscall.h>
#include <knob/user.h>
#include <knob/format.h>

void main() {
  char nbuf[11];

  tell_user_sz("Kernel dynamic memory remaining: ");

  itosz(_kernel_dynamic_area_left() * 4, nbuf);
  tell_user_sz(nbuf);
  tell_user_sz("k\n");

  tell_user_sz("Userspace memory remaining: ");

  itosz(_total_userspace_left() * 4, nbuf);
  tell_user_sz(nbuf);
  tell_user_sz("k\n");
}