/* * Copyright (c) 2022, Liav A. * * SPDX-License-Identifier: BSD-2-Clause */ #pragma once #include namespace Kernel { typedef u64 (*fptr)(); fptr optional_current_time(); }