[wpiutil] timestamp: Add ShutdownNowRio (#5610)

This commit is contained in:
Peter Johnson
2023-09-07 09:59:39 -07:00
committed by GitHub
parent e9f612f581
commit a6157f184d
3 changed files with 35 additions and 0 deletions

View File

@@ -18,6 +18,12 @@ extern "C" {
*/
void WPI_Impl_SetupNowRio(void);
/**
* De-initialize the on-Rio Now() implementation. No effect on non-Rio
* platforms.
*/
void WPI_Impl_ShutdownNowRio(void);
/**
* The default implementation used for Now().
* In general this is the time returned by the operating system.
@@ -62,6 +68,12 @@ namespace impl {
* thus should generally not be called by user code.
*/
void SetupNowRio();
/**
* De-initialize the on-Rio Now() implementation. No effect on non-Rio
* platforms.
*/
void ShutdownNowRio();
} // namespace impl
/**