payloads/libpayload/drivers/timer/bg4cd.c

   1
   2 /*
   3  * This file is part of the coreboot project.
   4  *
   5  * Copyright (C) 2014 Google Electronics
   6  *
   7  * This program is free software; you can redistribute it and/or modify
   8  * it under the terms of the GNU General Public License as published by
   9  * the Free Software Foundation; version 2 of the License.
  10  *
  11  * This program is distributed in the hope that it will be useful,
  12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14  * GNU General Public License for more details.
  15  */
  16 #include <libpayload.h>
  17
  18 uint64_t timer_hz(void)
  19 {
  20         return 0;
  21 }
  22
  23 uint64_t timer_raw_value(void)
  24 {
  25         return 0;
  26 }