#include "threads/loader.h"
#include "threads/synch.h"
#include "threads/vaddr.h"
#include "threads/loader.h"
#include "threads/synch.h"
#include "threads/vaddr.h"
uint8_t *free_end = ptov (init_ram_pages * PGSIZE);
size_t free_pages = (free_end - free_start) / PGSIZE;
size_t user_pages = free_pages / 2;
uint8_t *free_end = ptov (init_ram_pages * PGSIZE);
size_t free_pages = (free_end - free_start) / PGSIZE;
size_t user_pages = free_pages / 2;