#include <linux/config.h>
#include <linux/swap.h>
+#include <linux/vinline.h>
#include <asm/tlbflush.h>
/*
if (rss < freed)
freed = rss;
- mm->rss = rss - freed;
+ // mm->rss = rss - freed;
+ vx_rsspages_sub(mm, freed);
tlb_flush_mmu(tlb, start, end);
/* keep the page table cache within bounds */