On Friday, 12 August 2016 at 15:21:22 UTC, D.Rex wrote:
> extern unsigned long free_page_tables(struct task_struct * tsk);
extern(C) ulong free_page_tables(task_struct* tsk);
void main() {
task_struct tsk = …… ;
free_page_tables(&tsk);
};
That should be what you're after?