do_sanity_check
do_sanity_check(mm, had_kernel, had_user);
int do_sanity_check = 1;
do_sanity_check = 0;
if (do_sanity_check) {