void (*timer_event_stop)(void);
/** Initialize platform timer for current HART */
int (*timer_init)(bool cold_boot);
+ /** Exit platform timer for current HART */
+ void (*timer_exit)(void);
/** Reboot the platform */
int (*system_reboot)(u32 type);
}
/**
+ * Exit the platform timer for current HART
+ *
+ * @param plat pointer to struct sbi_platform
+ */
+static inline void sbi_platform_timer_exit(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->timer_exit)
+ sbi_platform_ops(plat)->timer_exit();
+}
+
+/**
* Reboot the platform
*
* @param plat pointer to struct sbi_platform
void sbi_timer_set_delta_upper(struct sbi_scratch *scratch, ulong delta_upper);
-void sbi_timer_event_stop(struct sbi_scratch *scratch);
-
void sbi_timer_event_start(struct sbi_scratch *scratch, u64 next_event);
void sbi_timer_process(struct sbi_scratch *scratch);
int sbi_timer_init(struct sbi_scratch *scratch, bool cold_boot);
+void sbi_timer_exit(struct sbi_scratch *scratch);
+
#endif
sbi_platform_early_exit(plat);
+ sbi_timer_exit(scratch);
+
sbi_platform_final_exit(plat);
sbi_hart_hang();
*time_delta |= ((u64)delta_upper << 32);
}
-void sbi_timer_event_stop(struct sbi_scratch *scratch)
-{
- sbi_platform_timer_event_stop(sbi_platform_ptr(scratch));
-}
-
void sbi_timer_event_start(struct sbi_scratch *scratch, u64 next_event)
{
sbi_platform_timer_event_start(sbi_platform_ptr(scratch), next_event);
return sbi_platform_timer_init(sbi_platform_ptr(scratch), cold_boot);
}
+
+void sbi_timer_exit(struct sbi_scratch *scratch)
+{
+ sbi_platform_timer_event_stop(sbi_platform_ptr(scratch));
+
+ csr_clear(CSR_MIP, MIP_STIP);
+ csr_clear(CSR_MIE, MIP_MTIP);
+
+ sbi_platform_timer_exit(sbi_platform_ptr(scratch));
+}