__read_vmcore     402 fs/proc/vmcore.c 	return __read_vmcore((__force char *) buffer, buflen, fpos, 1);
__read_vmcore     428 fs/proc/vmcore.c 		rc = __read_vmcore(buf, PAGE_SIZE, &offset, 0);