#include <stddef.h>
#include <stdint.h>
#include <system/system.h>
#include <sysdefs/processctl.h>
#include <util/util.h>
#include <errors.h>
#include <uprintf.h>

void pctl_ls(void) {
  uint64_t procslen = processctl(-1, PCTL_PLS_SZ, 0, 0, 0);
  uprintf("%-80s %s %-6s\n", "NAME", "PID", "TYPE");
  for (size_t i = 0; i < procslen; i++) {
    ProcStat stat = ZERO(&stat);
    int32_t r = processctl(-1, PCTL_PLS_STAT, i, (uint64_t)&stat, 0);
    if (r == E_OK) {
      uprintf("%-80s %3lu %-6s\n", stat.name, stat.pid, stat.kern ? "KERNEL" : "USER");
    }
  }
}