/[hurd]/hurd-l4/laden/ia32-cmain.c
ViewVC logotype

Diff of /hurd-l4/laden/ia32-cmain.c

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.12 by marcus, Sat Oct 4 17:42:22 2003 UTC revision 1.13 by marcus, Sat Oct 23 11:13:30 2004 UTC
# Line 38  help_arch (void) Line 38  help_arch (void)
38  }  }
39    
40    
41  /* Start kernel by simply jumping to the entry point.  */  /* Start kernel.  */
42  void  void
43  start_kernel (l4_word_t ip)  start_kernel (l4_word_t ip)
44  {  {
45      /* Flush the data cache, so that the kernel code instructions can be
46         found.  Actually, ia32 does this automatically for backwards
47         compatibility, but other architectures may not.  If you are
48         porting this file, make sure that the instruction fetcher gets to
49         see the loaded kernel code.  */
50      asm volatile ("wbinvd");
51    
52      /* Jump to the entry point.  */
53    (*(void (*) (void)) ip) ();    (*(void (*) (void)) ip) ();
54  }  }
55    

Legend:
Removed from v.1.12  
changed lines
  Added in v.1.13

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26