sys/src/sysadjwsl.c File Reference

#include <linux/linkage.h>
#include <linux/sched.h>
#include <phddef.h>
#include <sysgen.h>
#include <system_data_cells.h>
#include <va_rangedef.h>
#include <wsldef.h>

Go to the source code of this file.

Functions
int	exe_adjwsl (signed int pagcnt, unsigned int *wsetlm)

---

Function Documentation

int exe_adjwsl	(	signed int	pagcnt,
		unsigned int *	wsetlm
	)

Definition at line 14 of file sysadjwsl.c.

References _pcb, ctl_gl_pcb, and WSMAX.