On Sun, Jul 05, 2020 at 08:31:19PM +0300, Paul Irofti wrote: > On Fri, Jul 03, 2020 at 06:36:39PM +0300, Paul Irofti wrote: > > > > ?n 3 iulie 2020 17:55:25 EEST, Mark Kettenis <mark.kette...@xs4all.nl> a > > scris: > > >> Date: Fri, 3 Jul 2020 15:13:22 +0200 > > >> From: Robert Nagy <rob...@openbsd.org> > > >> > > >> On 02/07/20 00:31 +0100, Stuart Henderson wrote: > > >> > running on 38 of these, btw. > > >> > > >> been running with this on all my workstations and laptops and on 3 > > >build > > >> servers as well > > > > > >Are the issue that naddy@ saw solved? > > > > > >Did anybody do a *proper* test on anything besides amd64? Especially > > >on architectures where the optimized clock_gettime is *not* available? > > > > Yes and yes. > > So, can we go ahead with this?
ok cheloha@ I'd like to document how all this works somewhere. I think I'm going to update tc_init.9. Maybe we can add a section for "userspace timecounter drivers" to that page after it is up-to-date with the state of timecounting in the kernel. Also, I sanity-tested your most recent diff on this arm64: OpenBSD 6.7-current (GENERIC.MP) #1: Fri Jul 3 13:04:15 CDT 2020 ssc@kitsch.local:/usr/src/sys/arch/arm64/compile/GENERIC.MP real mem = 3073093632 (2930MB) avail mem = 2946428928 (2809MB) random: good seed from bootblocks mainbus0 at root: ACPI psci0 at mainbus0: PSCI 1.1, SMCCC 1.2 cpu0 at mainbus0 mpidr 0: ARM Cortex-A72 r0p3 cpu0: 48KB 64b/line 3-way L1 PIPT I-cache, 32KB 64b/line 2-way L1 D-cache cpu0: 1024KB 64b/line 16-way L2 cache cpu1 at mainbus0 mpidr 1: ARM Cortex-A72 r0p3 cpu1: 48KB 64b/line 3-way L1 PIPT I-cache, 32KB 64b/line 2-way L1 D-cache cpu1: 1024KB 64b/line 16-way L2 cache cpu2 at mainbus0 mpidr 2: ARM Cortex-A72 r0p3 cpu2: 48KB 64b/line 3-way L1 PIPT I-cache, 32KB 64b/line 2-way L1 D-cache cpu2: 1024KB 64b/line 16-way L2 cache cpu3 at mainbus0 mpidr 3: ARM Cortex-A72 r0p3 cpu3: 48KB 64b/line 3-way L1 PIPT I-cache, 32KB 64b/line 2-way L1 D-cache cpu3: 1024KB 64b/line 16-way L2 cache efi0 at mainbus0: UEFI 2.7 efi0: https://github.com/pftf/RPi4 rev 0x10000 smbios0 at efi0: SMBIOS 3.3.0 smbios0: vendor https://github.com/pftf/RPi4 version "UEFI Firmware v1.16" date Jun 18 2020 12:20:53 smbios0: Sony UK Raspberry Pi 4 Model B apm0 at mainbus0 ampintc0 at mainbus0 nirq 256, ncpu 4 ipi: 0, 1: "interrupt-controller" agtimer0 at mainbus0: tick rate 54000 KHz acpi0 at mainbus0: ACPI 6.3 acpi0: sleep states acpi0: tables DSDT FACP CSRT DBG2 GTDT APIC PPTT SPCR acpi0: wakeup devices "BCM2849" at acpi0 not configured "BCM2835" at acpi0 not configured "BCM2854" at acpi0 not configured "ACPI0004" at acpi0 not configured xhci0 at acpi0 XHC0 addr 0x600000000/0x1000 irq 175, xHCI 1.0 usb0 at xhci0: USB revision 3.0 uhub0 at usb0 configuration 1 interface 0 "Generic xHCI root hub" rev 3.00/1.00 addr 1 "ACPI0007" at acpi0 not configured "ACPI0007" at acpi0 not configured "ACPI0007" at acpi0 not configured "ACPI0007" at acpi0 not configured "ACPI0004" at acpi0 not configured "BCM2848" at acpi0 not configured "BCM2850" at acpi0 not configured "BCM2856" at acpi0 not configured "BCM2845" at acpi0 not configured "BCM2841" at acpi0 not configured "BCM2841" at acpi0 not configured "BCM2838" at acpi0 not configured "BCM2839" at acpi0 not configured "BCM2844" at acpi0 not configured pluart0 at acpi0 URT0 addr 0xfe201000/0x1000 irq 153: console "BCM2836" at acpi0 not configured "BCM2EA6" at acpi0 not configured "MSFT8000" at acpi0 not configured "BCM2847" at acpi0 not configured "BCM2855" at acpi0 not configured bse0 at acpi0 ETH0 addr 0xfd580000/0x10000 irq 189: address dc:a6:32:7f:dd:8e brgphy0 at bse0 phy 1: BCM54210E 10/100/1000baseT PHY, rev. 2 uhub1 at uhub0 port 1 configuration 1 interface 0 "VIA Labs USB2.0 Hub" rev 2.10/4.21 addr 2 umass0 at uhub1 port 1 configuration 1 interface 0 "SanDisk Cruzer Fit" rev 2.10/1.00 addr 3 umass0: using SCSI over Bulk-Only scsibus0 at umass0: 2 targets, initiator 0 sd0 at scsibus0 targ 1 lun 0: <SanDisk, Cruzer Fit, 1.00> removable serial.07815571280726107280 sd0: 59976MB, 512 bytes/sector, 122830848 sectors vscsi0 at root scsibus1 at vscsi0: 256 targets softraid0 at root scsibus2 at softraid0: 256 targets bootfile: sd0a:/bsd boot device: sd0 root on sd0a (0cc470a97f4b5ef4.a) swap on sd0b dump on sd0b WARNING: clock lost 15 days WARNING: CHECK AND RESET THE DATE!