text: // 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
  
  /* 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 */
  