// 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