1 2 3 4 5 6 7 8 9 10 11 12
/* * 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() { return k_uptime_get() * 1000; }