include/sbe-p8.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// SPDX-License-Identifier: Apache-2.0
/* Copyright 2013-2018 IBM Corp. */

#ifndef __SBE_P8_H
#define __SBE_P8_H

/* P8 SBE update timer function */
extern void p8_sbe_update_timer_expiry(uint64_t new_target);

/* Is SBE timer available ? */
extern bool p8_sbe_timer_ok(void);

/* Initialize SBE timer */
extern void p8_sbe_init_timer(void);

#endif /* __SBE_P8_H */