kernel: Mark sigexit() and cpu_halt() as not returning.
authorSascha Wildner <saw@online.de>
Sat, 28 Feb 2015 20:31:02 +0000 (21:31 +0100)
committerSascha Wildner <saw@online.de>
Sat, 28 Feb 2015 20:31:02 +0000 (21:31 +0100)
commite64c3faa61cdcddadc0334df21ef42870258eb00
tree510c6eb701ba2d8bd9c913c518552017ec23afdb
parent72b9f7b117e2d2c2e18386604c8547fa141b748a
kernel: Mark sigexit() and cpu_halt() as not returning.
sys/sys/signalvar.h
sys/sys/systm.h