OpenBSD cvs log

created 2020-04-25T17:58:26Z
begin 2020-04-19T00:00:00Z
end 2020-04-20T00:00:00Z
path src/sys
commits 15

date 2020-04-19T09:20:45Z
author kettenis
files src/sys/arch/arm64/conf/GENERIC log diff annotate
src/sys/arch/arm64/conf/RAMDISK log diff annotate
src/sys/dev/fdt/bcm2711_pcie.c log diff annotate
src/sys/dev/fdt/files.fdt log diff annotate
message Add bcmpcie(4), a driver for the PCIe controller found on the Raspberry Pi 4.
In its current state the driver relies on the firmware for initializing
the controller. Therefore it only really works when using the EDK2-based
UEFI firmware.

ok jsg@

date 2020-04-19T13:44:14Z
author krw
files src/sys/arch/amd64/amd64/vmm.c log diff annotate
message Initialize vmx_get_guest_faulttype() 'prot' to 0 instead of using
random stack garbage.

CID 1492655

ok pd@

date 2020-04-19T14:51:52Z
author tobhe
files src/sys/dev/fdt/bcm2835_mbox.c log diff annotate
src/sys/dev/fdt/files.fdt log diff annotate
src/sys/dev/ic/bcm2835_mbox.h log diff annotate
src/sys/dev/ic/bcm2835_vcprop.h log diff annotate
message Add bcmmbox, a driver for the VideoCore messagebox interface on BCM283X.

Original work by Neil Ashford and dlg@
Feedback from jsg@
ok kettenis@, dlg@

date 2020-04-19T14:58:20Z
author tobhe
files src/sys/dev/fdt/bcm2835_clock.c log diff annotate
src/sys/dev/fdt/files.fdt log diff annotate
message Add bcmclock, a driver for the BCM283X CPRMAN clock controller.

Original work by Neil Ashford and dlg@
Feedback from jsg@
ok kettenis@, dlg@

date 2020-04-19T15:05:14Z
author kettenis
files src/sys/dev/acpi/acpivout.c log diff annotate
src/sys/dev/wscons/wsdisplay.c log diff annotate
src/sys/dev/wscons/wsdisplayvar.h log diff annotate
message Move logic to change brightness level in reasonable steps from acpivout(4)
into wsdisplay(4). This code is now exposed through
wsdisplay_brightness_{step,zero,cycle} functions that can be called by
any driver that handles brightnes "hotkeys". These functions take
a wsdisplay(4) device pointer as their first argument, which should be
provided if a clear association between events and a particular display
exist. This is used in wskbd(4). Otherwise NULL can be passed and
the code will direct the request at the first wsdisplay(4) that
implements brightness adjustment.

Tested by many. Fixes brightness keys on x395 and other thinkpads with
AMD graphics.

ok patrick@

date 2020-04-19T15:05:15Z
author kettenis
files src/sys/dev/wscons/wskbd.c log diff annotate
message Move logic to change brightness level in reasonable steps from acpivout(4)
into wsdisplay(4). This code is now exposed through
wsdisplay_brightness_{step,zero,cycle} functions that can be called by
any driver that handles brightnes "hotkeys". These functions take
a wsdisplay(4) device pointer as their first argument, which should be
provided if a clear association between events and a particular display
exist. This is used in wskbd(4). Otherwise NULL can be passed and
the code will direct the request at the first wsdisplay(4) that
implements brightness adjustment.

Tested by many. Fixes brightness keys on x395 and other thinkpads with
AMD graphics.

ok patrick@

date 2020-04-19T16:00:00Z
author kettenis
files src/sys/arch/arm64/conf/GENERIC log diff annotate
src/sys/arch/arm64/conf/RAMDISK log diff annotate
src/sys/dev/fdt/bcm2711_rng.c log diff annotate
src/sys/dev/fdt/files.fdt log diff annotate
message Add bcmirng(4), a driver for the RNG200 random number generator found on
the Raspberry Pi 4.

ok deraadt@

date 2020-04-19T16:04:34Z
author tobhe
files src/sys/arch/arm64/conf/GENERIC log diff annotate
src/sys/arch/arm64/conf/RAMDISK log diff annotate
message Enable bcmclock(4) and bcmmbox(4).

date 2020-04-19T16:15:20Z
author kettenis
files src/sys/dev/sdmmc/sdhc.c log diff annotate
message Add support for hardware where an SDHC controller lives on a bus that
only supports 32-bit access (hello Raspberry Pi).

ok tobhe@

date 2020-04-19T16:17:03Z
author kettenis
files src/sys/dev/fdt/sdhc_fdt.c log diff annotate
message Add quitks for the SDHC controller found on the Raspberry Pi. This will
give us uSD card or WiFi support (but not both) depending on the firmware
configuration.

ok tobhe@

date 2020-04-19T16:25:33Z
author kettenis
files src/sys/dev/sdmmc/sdhcvar.h log diff annotate
message Add support for hardware where an SDHC controller lives on a bus that
only supports 32-bit access (hello Raspberry Pi).

ok tobhe@

date 2020-04-19T16:48:39Z
author kettenis
files src/sys/dev/fdt/bcm2835_clock.c log diff annotate
message Add compatible string for the Raspberry Pi 4.

date 2020-04-19T19:29:52Z
author krw
files src/sys/arch/amd64/amd64/vmm.c log diff annotate
message (1 << 39) is not well defined on a 32-bit int. Use same casts for
low_mask as already used on high_mask to convince compiler to use 64
bits.

CID 1480717
CID 1480778

ok pd@

date 2020-04-19T21:40:21Z
author stsp
files src/sys/dev/sdmmc/if_bwfm_sdio.c log diff annotate
message Add comments to clarify the hex IDs of some bwfm(4) devices on SD bus.
ok jmc@ deraadt@ kettenis@
"thanks and don't wait for me" patrick@

date 2020-04-19T22:31:06Z
author sashan
files src/sys/net/pf_ioctl.c log diff annotate
message fix insufficient input sanitization in pf_rulecopyin() and pf_pool_copyin()

Reported-by: [email protected]
Reported-by: [email protected]

OK anton@