| 12345678910111213141516 |
- /*
- * Copyright (C) 2019 Intel Corporation. All rights reserved.
- * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- */
- #include "platform_api_vmcore.h"
- uint64
- os_time_get_boot_microsecond()
- {
- struct timespec ts;
- timespec_get(&ts, TIME_UTC);
- return ((uint64)ts.tv_sec) * 1000 * 1000 + ((uint64)ts.tv_nsec) / 1000;
- }
|