diff options
author | David Hendricks <dhendrix@chromium.org> | 2013-05-04 01:54:45 +0200 |
---|---|---|
committer | David Hendricks <dhendrix@chromium.org> | 2013-05-04 20:36:36 +0200 |
commit | ab98cfe110353eb7b9ad5a8ca125f0d6cd69b632 (patch) | |
tree | 0b0284ad9916e1cf39f03e02fa8dd7844faf99fe /src/include/time.h | |
parent | cc76d7e011ead7350c8b7017c401a584e88154e2 (diff) |
Revert "exynos5250/snow: deprecate time.h"
This reverts commit 2fde9668b47e74d1bfad2f1688a4481e6b966d04
Somehow this got merged before its dependencies. 3190 must be merged first, followed by 3176. However 3190 will fail while this patch is in. So the situation can't correct itself.
Reverting this until the other two go in.
Change-Id: I176f37c12711849c96f1889eacad38c00a8142c4
Signed-off-by: David Hendricks <dhendrix@chromium.org>
Reviewed-on: http://review.coreboot.org/3195
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'src/include/time.h')
-rw-r--r-- | src/include/time.h | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/include/time.h b/src/include/time.h new file mode 100644 index 0000000000..2cfcb356c4 --- /dev/null +++ b/src/include/time.h @@ -0,0 +1,26 @@ +/* + * This file is part of the coreboot project. + * + * Copyright (C) 2013 Google, Inc. + * + * This program is free software; you can redistribute it and/or modify + * it under the terms of the GNU General Public License as published by + * the Free Software Foundation; version 2 of the License. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA, 02110-1301 USA + */ + +#ifndef TIME_H +#define TIME_H + +void timer_start(void); +u32 timer_us(void); + +#endif /* TIME_H */ |