CHECK: Prefer kernel type 'u64' over 'uint64_t'
#182: FILE: drivers/ptp/ptp_vmclock.c:65:
+static uint64_t mul_u64_u64_shr_add_u64(uint64_t *res_hi, uint64_t delta,

CHECK: Prefer kernel type 'u64' over 'uint64_t'
#183: FILE: drivers/ptp/ptp_vmclock.c:66:
+					uint64_t period, uint8_t shift,

CHECK: Prefer kernel type 'u64' over 'uint64_t'
#215: FILE: drivers/ptp/ptp_vmclock.c:98:
+	uint64_t cycle, delta, seq, frac_sec;

WARNING: line length of 97 exceeds 80 columns
#267: FILE: drivers/ptp/ptp_vmclock.c:150:
+						   le64_to_cpu(st->clk->counter_period_frac_sec),

WARNING: line length of 81 exceeds 80 columns
#268: FILE: drivers/ptp/ptp_vmclock.c:151:
+						   st->clk->counter_period_shift,

WARNING: line length of 88 exceeds 80 columns
#269: FILE: drivers/ptp/ptp_vmclock.c:152:
+						   le64_to_cpu(st->clk->time_frac_sec));

WARNING: line length of 87 exceeds 80 columns
#310: FILE: drivers/ptp/ptp_vmclock.c:193:
+					    struct system_counterval_t *system_counter,

WARNING: line length of 87 exceeds 80 columns
#327: FILE: drivers/ptp/ptp_vmclock.c:210:
+							       system_counter->cycles);

WARNING: line length of 84 exceeds 80 columns
#390: FILE: drivers/ptp/ptp_vmclock.c:273:
+			ret = get_device_system_crosststamp(ptp_vmclock_get_time_fn,

CHECK: Alignment should match open parenthesis
#413: FILE: drivers/ptp/ptp_vmclock.c:296:
+static int ptp_vmclock_settime(struct ptp_clock_info *ptp,
+			   const struct timespec64 *ts)

WARNING: line length of 82 exceeds 80 columns
#418: FILE: drivers/ptp/ptp_vmclock.c:301:
+static int ptp_vmclock_gettimex(struct ptp_clock_info *ptp, struct timespec64 *ts,

CHECK: Alignment should match open parenthesis
#428: FILE: drivers/ptp/ptp_vmclock.c:311:
+static int ptp_vmclock_enable(struct ptp_clock_info *ptp,
+			  struct ptp_clock_request *rq, int on)

CHECK: spaces preferred around that '|' (ctx:VxV)
#482: FILE: drivers/ptp/ptp_vmclock.c:365:
+	if ((vma->vm_flags & (VM_READ|VM_WRITE)) != VM_READ)
 	                             ^

CHECK: Prefer kernel type 'u32' over 'uint32_t'
#503: FILE: drivers/ptp/ptp_vmclock.c:386:
+	uint32_t seq;

WARNING: line length of 81 exceeds 80 columns
#552: FILE: drivers/ptp/ptp_vmclock.c:435:
+static acpi_status vmclock_acpi_resources(struct acpi_resource *ares, void *data)

CHECK: Blank lines aren't necessary after an open brace '{'
#567: FILE: drivers/ptp/ptp_vmclock.c:450:
+	    acpi_dev_resource_address_space(ares, &win)) {
+

WARNING: line length of 82 exceeds 80 columns
#661: FILE: drivers/ptp/ptp_vmclock.c:544:
+	st->name = devm_kasprintf(&pdev->dev, GFP_KERNEL, "vmclock%d", st->index);

WARNING: line length of 82 exceeds 80 columns
#739: FILE: include/uapi/linux/vmclock-abi.h:1:
+/* SPDX-License-Identifier: ((GPL-2.0 WITH Linux-syscall-note) OR BSD-2-Clause) */

WARNING: line length of 88 exceeds 80 columns
#812: FILE: include/uapi/linux/vmclock-abi.h:74:
+#define VMCLOCK_TIME_UTC			0	/* Since 1970-01-01 00:00:00z */

WARNING: line length of 88 exceeds 80 columns
#813: FILE: include/uapi/linux/vmclock-abi.h:75:
+#define VMCLOCK_TIME_TAI			1	/* Since 1970-01-01 00:00:00z */

WARNING: line length of 83 exceeds 80 columns
#814: FILE: include/uapi/linux/vmclock-abi.h:76:
+#define VMCLOCK_TIME_MONOTONIC			2	/* Since undefined epoch */

total: 0 errors, 13 warnings, 8 checks, 836 lines checked

NOTE: For some of the reported defects, checkpatch may be able to
      mechanically convert to the typical style using --fix or --fix-inplace.

Commit a19e7a408081 ("ptp: Add support for the AMZNC10C 'vmclock' device") has style problems, please review.

NOTE: Ignored message types: ALLOC_SIZEOF_STRUCT BAD_REPORTED_BY_LINK CAMELCASE COMMIT_LOG_LONG_LINE GIT_COMMIT_ID MACRO_ARG_REUSE NO_AUTHOR_SIGN_OFF

NOTE: If any of the errors are false positives, please report
      them to the maintainer, see CHECKPATCH in MAINTAINERS.
total: 0 errors, 13 warnings, 8 checks, 836 lines checked