jhibbits b184501834 Fix the psl_userset32 definition. ...

It should be based on psl_userset, not psl_kernset.  As kernset, it would
inherit kernel config, including privilege level.

2018-03-01 04:44:17 +00:00

..

booke_machdep.c

Fix the psl_userset32 definition.

2018-03-01 04:44:17 +00:00

locore.S

kernel: Fix several typos and minor errors

2017-12-27 03:23:21 +00:00

machdep_e500.c

sys/powerpc: further adoption of SPDX licensing ID tags.

2017-11-27 15:09:59 +00:00

machdep_ppc4xx.c

sys/powerpc: further adoption of SPDX licensing ID tags.

2017-11-27 15:09:59 +00:00

mp_cpudep.c

sys/powerpc: further adoption of SPDX licensing ID tags.

2017-11-27 15:09:59 +00:00

platform_bare.c

sys/powerpc: further adoption of SPDX licensing ID tags.

2017-11-27 15:09:59 +00:00

pmap.c

vm_wait() rework.

2018-02-20 10:13:13 +00:00

spe.c

Create a new MACHINE_ARCH for Freescale PowerPC e500v2

2016-10-22 01:57:15 +00:00

trap_subr.S

Increase the size of a reservation granule for TLB locks

2018-02-27 04:38:27 +00:00