15 lines
342 B
C
15 lines
342 B
C
// SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
|
|
/* Copyright 2013-2018 IBM Corp. */
|
|
|
|
#ifndef __SBE_P8_H
|
|
#define __SBE_P8_H
|
|
|
|
#include <stdint.h>
|
|
|
|
/* P8 SBE update timer function */
|
|
extern void p8_sbe_update_timer_expiry(uint64_t new_target);
|
|
|
|
/* Initialize SBE timer */
|
|
extern void p8_sbe_init_timer(void);
|
|
|
|
#endif /* __SBE_P8_H */
|