Please help me!

[benben xiao]

Hi;
  When I see the file "init.h" in "l4/server/sigma0/src/",I meet a problem.
  Although I have know:
           #define L4_NORETURN __attribute__((noreturn))
  but I don't understand the function definition:
     void init(struct multiboot_info *mbi, unsigned int flag,
               l4_kernel_info_t *info) L4_NORETURN;
  there why we can use "L4_NORETURN" and what is the effect of 
"L4_NORETURN".

Thank you!


______________________________________________________
Get Your Private, Free Email at http://www.hotmail.com