#include <linux/sched.h>

int context_vdso(struct task_struct *tsk)
{
  return (tsk->mm->context.vdso_base == 0L);
}