1// SPDX-License-Identifier: GPL-2.0-only
2/*
3 *  Virtual PTP 1588 clock for use with KVM guests
4 *  Copyright (C) 2019 ARM Ltd.
5 *  All Rights Reserved
6 */
7
8#include <linux/arm-smccc.h>
9#include <linux/ptp_kvm.h>
10
11#include <asm/arch_timer.h>
12#include <asm/hypervisor.h>
13
14int kvm_arch_ptp_init(void)
15{
16	int ret;
17
18	ret = kvm_arm_hyp_service_available(ARM_SMCCC_KVM_FUNC_PTP);
19	if (ret <= 0)
20		return -EOPNOTSUPP;
21
22	return 0;
23}
24
25void kvm_arch_ptp_exit(void)
26{
27}
28
29int kvm_arch_ptp_get_clock(struct timespec64 *ts)
30{
31	return kvm_arch_ptp_get_crosststamp(NULL, ts, NULL);
32}
33