/*******************************************************
 * File name:pando_machine.h
 * Author:    LIJIAN
 * Versions:  0.1
 * Description: APIs related to different machine platform, 
     Such as basic IO operation and some common functions.
 * History:
 *   1.Date:
 *     Author:
 *     Modification:    
 *********************************************************/
 
#ifndef PD_MACHINE_H
#define PD_MACHINE_H

#include "../platform/include/pando_types.h"



uint64_t pd_get_timestamp(void);

#endif