Extend POST support for PPC440
[platform/kernel/u-boot.git] / post / cpu / ppc4xx / fpu.c
1 /*
2  *  Copyright (C) 2007 Wolfgang Denk <wd@denx.de>
3  *
4  * See file CREDITS for list of people who contributed to this
5  * project.
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License as
9  * published by the Free Software Foundation; either version 2 of
10  * the License, or (at your option) any later version.
11  *
12  * This program is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place, Suite 330, Boston,
20  * MA 02111-1307 USA
21  */
22
23 #include <config.h>
24
25 #ifdef CONFIG_POST
26 #if defined(CONFIG_440EP) || \
27     defined(CONFIG_440EPX)
28
29 #include <ppc4xx.h>
30 #include <asm/processor.h>
31
32
33 int fpu_status(void)
34 {
35         if (mfspr(ccr0) & CCR0_DAPUIB)
36                 return 0; /* Disabled */
37         else
38                 return 1; /* Enabled */
39 }
40
41
42 void fpu_disable(void)
43 {
44         mtspr(ccr0, mfspr(ccr0) | CCR0_DAPUIB);
45         mtmsr(mfmsr() & ~MSR_FP);
46 }
47
48
49 void fpu_enable(void)
50 {
51         mtspr(ccr0, mfspr(ccr0) & ~CCR0_DAPUIB);
52         mtmsr(mfmsr() | MSR_FP);
53 }
54 #endif
55 #endif