d/freebsd-skq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

In memory test, cast pointer as "volatile int *", not "int *" to make sure

Browse Source 
that gcc doesn't cache the value used in the test. Pointed out by Erich
Boleyn <erich@uruk.org>.
This commit is contained in:
David Greenman 1995-12-30 23:13:32 +00:00
parent b7738481bc
commit b2b1f785bc
2 changed files with 18 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
sys/amd64/amd64/machdep.c
View File

@ -35,7 +35,7 @@
* SUCH DAMAGE.
*
* from: @(#)machdep.c 7.4 (Berkeley) 6/3/91
* $Id: machdep.c,v 1.164 1995/12/25 01:02:32 davidg Exp $
* $Id: machdep.c,v 1.165 1995/12/28 23:14:35 davidg Exp $
*/
#include "npx.h"
@ -1493,29 +1493,29 @@ init386(first)
/*
* Test for alternating 1's and 0's
*/
*(int *)CADDR1 = 0xaaaaaaaa;
if (*(int *)CADDR1 != 0xaaaaaaaa) {
*(volatile int *)CADDR1 = 0xaaaaaaaa;
if (*(volatile int *)CADDR1 != 0xaaaaaaaa) {
page_bad = TRUE;
}
/*
* Test for alternating 0's and 1's
*/
*(int *)CADDR1 = 0x55555555;
if (*(int *)CADDR1 != 0x55555555) {
*(volatile int *)CADDR1 = 0x55555555;
if (*(volatile int *)CADDR1 != 0x55555555) {
page_bad = TRUE;
}
/*
* Test for all 1's
*/
*(int *)CADDR1 = 0xffffffff;
if (*(int *)CADDR1 != 0xffffffff) {
*(volatile int *)CADDR1 = 0xffffffff;
if (*(volatile int *)CADDR1 != 0xffffffff) {
page_bad = TRUE;
}
/*
* Test for all 0's
*/
*(int *)CADDR1 = 0x0;
if (*(int *)CADDR1 != 0x0) {
*(volatile int *)CADDR1 = 0x0;
if (*(volatile int *)CADDR1 != 0x0) {
/*
* test of page failed
*/

18
sys/i386/i386/machdep.c
View File

@ -35,7 +35,7 @@
* SUCH DAMAGE.
*
* from: @(#)machdep.c 7.4 (Berkeley) 6/3/91
* $Id: machdep.c,v 1.164 1995/12/25 01:02:32 davidg Exp $
* $Id: machdep.c,v 1.165 1995/12/28 23:14:35 davidg Exp $
*/
#include "npx.h"
@ -1493,29 +1493,29 @@ init386(first)
/*
* Test for alternating 1's and 0's
*/
*(int *)CADDR1 = 0xaaaaaaaa;
if (*(int *)CADDR1 != 0xaaaaaaaa) {
*(volatile int *)CADDR1 = 0xaaaaaaaa;
if (*(volatile int *)CADDR1 != 0xaaaaaaaa) {
page_bad = TRUE;
}
/*
* Test for alternating 0's and 1's
*/
*(int *)CADDR1 = 0x55555555;
if (*(int *)CADDR1 != 0x55555555) {
*(volatile int *)CADDR1 = 0x55555555;
if (*(volatile int *)CADDR1 != 0x55555555) {
page_bad = TRUE;
}
/*
* Test for all 1's
*/
*(int *)CADDR1 = 0xffffffff;
if (*(int *)CADDR1 != 0xffffffff) {
*(volatile int *)CADDR1 = 0xffffffff;
if (*(volatile int *)CADDR1 != 0xffffffff) {
page_bad = TRUE;
}
/*
* Test for all 0's
*/
*(int *)CADDR1 = 0x0;
if (*(int *)CADDR1 != 0x0) {
*(volatile int *)CADDR1 = 0x0;
if (*(volatile int *)CADDR1 != 0x0) {
/*
* test of page failed
*/