// SPDX-License-Identifier: GPL-2.0
/*
* Copyright 2018 NXP
*/
#ifndef __RTC_H
#define __RTC_H
#include "dprtc.h"
#include "dprtc-cmd.h"
extern int dpaa2_phc_index;
#endif