You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

config_timer.c 1.3KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. /*
  2. * This program is free software; you can redistribute it and/or
  3. * modify it under the terms of the GNU General Public License as
  4. * published by the Free Software Foundation; either version 2 of the
  5. * License, or (at your option) any later version.
  6. *
  7. * This program is distributed in the hope that it will be useful, but
  8. * WITHOUT ANY WARRANTY; without even the implied warranty of
  9. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  10. * General Public License for more details.
  11. *
  12. * You should have received a copy of the GNU General Public License
  13. * along with this program; if not, write to the Free Software
  14. * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  15. * 02110-1301, USA.
  16. *
  17. * You can also choose to distribute this program under the terms of
  18. * the Unmodified Binary Distribution Licence (as given in the file
  19. * COPYING.UBDL), provided that you have satisfied its requirements.
  20. */
  21. FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  22. #include <config/timer.h>
  23. /** @file
  24. *
  25. * Timer configuration options
  26. *
  27. */
  28. PROVIDE_REQUIRING_SYMBOL();
  29. /*
  30. * Drag in timers
  31. */
  32. #ifdef TIMER_PCBIOS
  33. REQUIRE_OBJECT ( bios_timer );
  34. #endif
  35. #ifdef TIMER_RDTSC
  36. REQUIRE_OBJECT ( rdtsc_timer );
  37. #endif
  38. #ifdef TIMER_EFI
  39. REQUIRE_OBJECT ( efi_timer );
  40. #endif
  41. #ifdef TIMER_LINUX
  42. REQUIRE_OBJECT ( linux_timer );
  43. #endif