2015-05-13 18:47:23 +00:00
|
|
|
#include "config.h"
|
|
|
|
#include "sysconfig.h"
|
|
|
|
|
|
|
|
#include <stdlib.h>
|
|
|
|
#include <stdarg.h>
|
|
|
|
#include <signal.h>
|
|
|
|
|
|
|
|
#include "sysdeps.h"
|
|
|
|
#include "options.h"
|
|
|
|
#include "events.h"
|
2015-05-17 07:52:43 +00:00
|
|
|
#include "custom.h"
|
2015-05-13 18:47:23 +00:00
|
|
|
|
|
|
|
|
|
|
|
int64_t g_uae_epoch = 0;
|
|
|
|
|
|
|
|
|
|
|
|
void machdep_init (void)
|
|
|
|
{
|
2015-05-17 07:52:43 +00:00
|
|
|
picasso_requested_on = 0;
|
|
|
|
picasso_on = 0;
|
|
|
|
screen_is_picasso = 0;
|
|
|
|
|
2015-05-13 18:47:23 +00:00
|
|
|
// Initialize timebase
|
|
|
|
g_uae_epoch = read_processor_time();
|
|
|
|
syncbase = 1000000; // Microseconds
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void machdep_free (void)
|
|
|
|
{
|
|
|
|
}
|