|
[ source navigation ] [ diff markup ] [ identifier search ] [ general search ] |
|||
|
001 /* Copyright (C) 2005 David Decotigny 001 /* Copyright (C) 2005 David Decotigny 002 002 003 This program is free software; you can redi 003 This program is free software; you can redistribute it and/or 004 modify it under the terms of the GNU Genera 004 modify it under the terms of the GNU General Public License 005 as published by the Free Software Foundatio 005 as published by the Free Software Foundation; either version 2 006 of the License, or (at your option) any lat 006 of the License, or (at your option) any later version. 007 007 008 This program is distributed in the hope tha 008 This program is distributed in the hope that it will be useful, 009 but WITHOUT ANY WARRANTY; without even the 009 but WITHOUT ANY WARRANTY; without even the implied warranty of 010 MERCHANTABILITY or FITNESS FOR A PARTICULAR 010 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 011 GNU General Public License for more details 011 GNU General Public License for more details. 012 012 013 You should have received a copy of the GNU 013 You should have received a copy of the GNU General Public License 014 along with this program; if not, write to t 014 along with this program; if not, write to the Free Software 015 Foundation, Inc., 59 Temple Place - Suite 3 015 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, 016 USA. 016 USA. 017 */ 017 */ 018 018 019 #include <debug.h> 019 #include <debug.h> 020 020 021 /** 021 /** 022 * @file myprog3.c 022 * @file myprog3.c 023 * Test unresolved page fault (write to kernel 023 * Test unresolved page fault (write to kernel space) 024 */ 024 */ 025 025 026 int main() !! 026 int main(void) 027 { 027 { 028 char *c; 028 char *c; 029 int i; 029 int i; 030 bochs_printf("Prog3: Hello world A !\n"); 030 bochs_printf("Prog3: Hello world A !\n"); 031 for (i = 0 ; i < 100000 ; i++) 031 for (i = 0 ; i < 100000 ; i++) 032 continue; 032 continue; 033 bochs_printf("Prog3: Hello world B !\n"); 033 bochs_printf("Prog3: Hello world B !\n"); 034 034 035 /* Force a page fault */ 035 /* Force a page fault */ 036 c = (char*) 0x201000; 036 c = (char*) 0x201000; 037 /* Try to read somewhere in the kernel space 037 /* Try to read somewhere in the kernel space */ 038 i = *c; 038 i = *c; 039 039 040 bochs_printf("Prog3: Hello world C !\n"); 040 bochs_printf("Prog3: Hello world C !\n"); 041 for ( ; i> 0 ; i--) 041 for ( ; i> 0 ; i--) 042 continue; 042 continue; 043 bochs_printf("Prog3: Hello world D !\n"); 043 bochs_printf("Prog3: Hello world D !\n"); 044 044 045 return 0; 045 return 0; 046 } 046 }
[ source navigation ] | [ diff markup ] | [ identifier search ] | [ general search ] |