Fiasco: reset.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef reset_h
00004 #define reset_h
00005 
00006 //
00007 // INTERFACE definition follows 
00008 //
00009 
00010 
00011 // reset PC
00012 void __attribute__ ((noreturn)) pc_reset();
00013 
00014 #endif // reset_h