| // SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later |
| |
| /* |
| * SBE communication driver (common code) |
| */ |
| |
| #define pr_fmt(fmt) "SBE: " fmt |
| |
| #include <sbe.h> |
| #include <sbe-p8.h> |
| #include <sbe-p9.h> |
| #include <skiboot.h> |
| #include <stdbool.h> |
| |
| bool sbe_has_timer = false; |
| |
| void sbe_update_timer_expiry(uint64_t target) |
| { |
| assert(sbe_timer_ok); |
| |
| if (proc_gen == proc_gen_p9 || proc_gen == proc_gen_p10) |
| p9_sbe_update_timer_expiry(target); |
| |
| #ifdef CONFIG_P8 |
| if (proc_gen == proc_gen_p8) |
| p8_sbe_update_timer_expiry(target); |
| #endif |
| } |
| |
| bool sbe_timer_ok(void) |
| { |
| return sbe_has_timer; |
| } |
