00001 // EPOS-- IA32_TSC Initialization 00002 00003 // This work is licensed under the Creative Commons 00004 // Attribution-NonCommercial-NoDerivs License. To view a copy of this license, 00005 // visit http://creativecommons.org/licenses/by-nc-nd/2.0/ or send a letter to 00006 // Creative Commons, 559 Nathan Abbott Way, Stanford, California 94305, USA. 00007 00008 #include <tsc.h> 00009 00010 __BEGIN_SYS 00011 00012 int IA32_TSC::init(System_Info * si) 00013 { 00014 db<IA32_TSC>(TRC) << "IA32_TSC::init()\n"; 00015 00016 return 0; 00017 } 00018 00019 __END_SYS
1.5.8