/* Copyright 2009-2012 The MathWorks, Inc. */

#include <mach/mach_time.h>
#include "host_timer_mac.h"

uint64_T timestamp_mac(void)
{
    return mach_absolute_time();
}