kern_regs          63 bsp/hal/arm/arch/context.c 	struct kern_regs *k;
kern_regs          91 bsp/hal/arm/include/context.h struct kern_regs {
kern_regs         108 bsp/hal/arm/include/context.h 	struct kern_regs kregs;		/* kernel mode registers */
kern_regs          39 bsp/hal/arm/include/locore.h void	 cpu_switch(struct kern_regs *, struct kern_regs *);
kern_regs          64 bsp/hal/ppc/arch/context.c 	struct kern_regs *k;
kern_regs          58 bsp/hal/ppc/include/context.h struct kern_regs {
kern_regs          71 bsp/hal/ppc/include/context.h 	struct kern_regs kregs;		/* kernel mode registers */
kern_regs          39 bsp/hal/ppc/include/locore.h void	cpu_switch(struct kern_regs *, struct kern_regs *);
kern_regs          64 bsp/hal/x86/arch/context.c 	struct kern_regs *k;
kern_regs          67 bsp/hal/x86/include/context.h struct kern_regs {
kern_regs          94 bsp/hal/x86/include/context.h 	struct kern_regs kregs;		/* kernel mode registers */
kern_regs          75 bsp/hal/x86/include/locore.h void	cpu_switch(struct kern_regs *, struct kern_regs *);