I want to get the timestamp in uefi, and the docs 39. Miscellaneous Protocols in UEFI Spec 2.10.
the docs' context as follow:

but I couldn't found and misc protocols or any timestamp api in uefi-rs, could you help me for giving some suggestion. thanks!