CVS: cvs.openbsd.org: src

[Mark Kettenis]

CVSROOT:        /cvs
Module name:    src
Changes by:     kette...@cvs.openbsd.org        2022/11/07 11:56:20

Modified files:
        sys/arch/arm64/dev: aplintc.c 

Log message:
Implement the "halt" IPI.

ok patrick@