Justin Hibbits 5903f5954a 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