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