2011-12-27 07:18:36 +00:00
|
|
|
/*
|
2014-03-20 17:14:30 +00:00
|
|
|
* SAMSUNG EXYNOS Flattened Device Tree enabled machine
|
2011-12-27 07:18:36 +00:00
|
|
|
*
|
2014-03-20 17:14:30 +00:00
|
|
|
* Copyright (c) 2010-2014 Samsung Electronics Co., Ltd.
|
|
|
|
* http://www.samsung.com
|
2011-12-27 07:18:36 +00:00
|
|
|
*
|
|
|
|
* This program is free software; you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU General Public License version 2 as
|
|
|
|
* published by the Free Software Foundation.
|
|
|
|
*/
|
|
|
|
|
2014-03-20 17:14:30 +00:00
|
|
|
#include <linux/init.h>
|
2011-12-27 07:18:36 +00:00
|
|
|
#include <linux/io.h>
|
2014-03-20 17:14:30 +00:00
|
|
|
#include <linux/kernel.h>
|
2014-02-14 01:32:45 +00:00
|
|
|
#include <linux/serial_s3c.h>
|
2012-01-07 12:30:20 +00:00
|
|
|
#include <linux/of.h>
|
2012-05-15 07:25:23 +00:00
|
|
|
#include <linux/of_address.h>
|
2014-03-20 17:14:30 +00:00
|
|
|
#include <linux/of_fdt.h>
|
|
|
|
#include <linux/of_platform.h>
|
2013-08-30 10:15:04 +00:00
|
|
|
#include <linux/platform_device.h>
|
2014-03-20 17:14:30 +00:00
|
|
|
#include <linux/pm_domain.h>
|
2014-07-10 23:08:29 +00:00
|
|
|
#include <linux/irqchip.h>
|
2011-12-27 07:18:36 +00:00
|
|
|
|
2014-03-20 17:14:30 +00:00
|
|
|
#include <asm/cacheflush.h>
|
2011-12-27 07:18:36 +00:00
|
|
|
#include <asm/hardware/cache-l2x0.h>
|
2014-03-20 17:14:30 +00:00
|
|
|
#include <asm/mach/arch.h>
|
2011-12-27 07:18:36 +00:00
|
|
|
#include <asm/mach/map.h>
|
2014-03-20 17:14:30 +00:00
|
|
|
#include <asm/memory.h>
|
2011-12-27 07:18:36 +00:00
|
|
|
|
|
|
|
#include "common.h"
|
2014-03-20 17:14:30 +00:00
|
|
|
#include "mfc.h"
|
2013-12-18 19:06:56 +00:00
|
|
|
#include "regs-pmu.h"
|
2014-07-07 22:54:08 +00:00
|
|
|
#include "regs-sys.h"
|
2013-12-18 19:06:56 +00:00
|
|
|
|
2014-07-10 23:08:29 +00:00
|
|
|
void __iomem *pmu_base_addr;
|
2013-12-18 19:06:56 +00:00
|
|
|
|
2012-02-11 13:15:45 +00:00
|
|
|
static struct map_desc exynos4_iodesc[] __initdata = {
|
|
|
|
{
|
2011-12-27 07:18:36 +00:00
|
|
|
.virtual = (unsigned long)S3C_VA_SYS,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_SYSCON),
|
|
|
|
.length = SZ_64K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S3C_VA_TIMER,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_TIMER),
|
|
|
|
.length = SZ_16K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S3C_VA_WATCHDOG,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_WATCHDOG),
|
|
|
|
.length = SZ_4K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S5P_VA_SROMC,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_SROMC),
|
|
|
|
.length = SZ_4K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S5P_VA_SYSTIMER,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_SYSTIMER),
|
|
|
|
.length = SZ_4K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S5P_VA_COMBINER_BASE,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_COMBINER),
|
|
|
|
.length = SZ_4K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S5P_VA_GIC_CPU,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_GIC_CPU),
|
|
|
|
.length = SZ_64K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S5P_VA_GIC_DIST,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_GIC_DIST),
|
|
|
|
.length = SZ_64K,
|
|
|
|
.type = MT_DEVICE,
|
2012-02-11 13:15:45 +00:00
|
|
|
}, {
|
2011-12-27 07:18:36 +00:00
|
|
|
.virtual = (unsigned long)S5P_VA_CMU,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_CMU),
|
|
|
|
.length = SZ_128K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S5P_VA_COREPERI_BASE,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_COREPERI),
|
|
|
|
.length = SZ_8K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S5P_VA_L2CC,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_L2CC),
|
|
|
|
.length = SZ_4K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S5P_VA_DMC0,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_DMC0),
|
2011-12-01 06:12:30 +00:00
|
|
|
.length = SZ_64K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S5P_VA_DMC1,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_DMC1),
|
|
|
|
.length = SZ_64K,
|
2011-12-27 07:18:36 +00:00
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S3C_VA_USB_HSPHY,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS4_PA_HSPHY),
|
|
|
|
.length = SZ_4K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
},
|
|
|
|
};
|
|
|
|
|
2012-02-11 13:15:45 +00:00
|
|
|
static struct map_desc exynos5_iodesc[] __initdata = {
|
|
|
|
{
|
|
|
|
.virtual = (unsigned long)S3C_VA_SYS,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS5_PA_SYSCON),
|
|
|
|
.length = SZ_64K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S3C_VA_TIMER,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS5_PA_TIMER),
|
|
|
|
.length = SZ_16K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S3C_VA_WATCHDOG,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS5_PA_WATCHDOG),
|
|
|
|
.length = SZ_4K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S5P_VA_SROMC,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS5_PA_SROMC),
|
|
|
|
.length = SZ_4K,
|
|
|
|
.type = MT_DEVICE,
|
|
|
|
}, {
|
|
|
|
.virtual = (unsigned long)S5P_VA_CMU,
|
|
|
|
.pfn = __phys_to_pfn(EXYNOS5_PA_CMU),
|
|
|
|
.length = 144 * SZ_1K,
|
|
|
|
.type = MT_DEVICE,
|
2012-11-15 06:48:56 +00:00
|
|
|
},
|
|
|
|
};
|
|
|
|
|
2014-07-07 22:51:11 +00:00
|
|
|
static void exynos_restart(enum reboot_mode mode, const char *cmd)
|
2012-02-11 13:15:45 +00:00
|
|
|
{
|
2013-01-24 18:09:13 +00:00
|
|
|
struct device_node *np;
|
2014-03-20 17:14:30 +00:00
|
|
|
u32 val = 0x1;
|
2014-07-18 18:43:22 +00:00
|
|
|
void __iomem *addr = pmu_base_addr + EXYNOS_SWRESET;
|
2013-06-18 15:29:35 +00:00
|
|
|
|
|
|
|
if (of_machine_is_compatible("samsung,exynos5440")) {
|
2013-05-24 21:33:03 +00:00
|
|
|
u32 status;
|
2013-01-24 18:09:13 +00:00
|
|
|
np = of_find_compatible_node(NULL, NULL, "samsung,exynos5440-clock");
|
2013-05-24 21:33:03 +00:00
|
|
|
|
|
|
|
addr = of_iomap(np, 0) + 0xbc;
|
|
|
|
status = __raw_readl(addr);
|
|
|
|
|
2013-01-24 18:09:13 +00:00
|
|
|
addr = of_iomap(np, 0) + 0xcc;
|
2013-05-24 21:33:03 +00:00
|
|
|
val = __raw_readl(addr);
|
|
|
|
|
|
|
|
val = (val & 0xffff0000) | (status & 0xffff);
|
2012-11-15 06:48:56 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
__raw_writel(val, addr);
|
2012-02-11 13:15:45 +00:00
|
|
|
}
|
|
|
|
|
2013-08-30 10:15:04 +00:00
|
|
|
static struct platform_device exynos_cpuidle = {
|
2014-05-08 21:56:29 +00:00
|
|
|
.name = "exynos_cpuidle",
|
2014-09-23 17:18:27 +00:00
|
|
|
#ifdef CONFIG_ARM_EXYNOS_CPUIDLE
|
2014-05-08 21:56:29 +00:00
|
|
|
.dev.platform_data = exynos_enter_aftr,
|
2014-09-23 17:18:27 +00:00
|
|
|
#endif
|
2014-05-08 21:56:29 +00:00
|
|
|
.id = -1,
|
2013-08-30 10:15:04 +00:00
|
|
|
};
|
|
|
|
|
2014-06-03 04:47:46 +00:00
|
|
|
void __iomem *sysram_base_addr;
|
|
|
|
void __iomem *sysram_ns_base_addr;
|
|
|
|
|
|
|
|
void __init exynos_sysram_init(void)
|
|
|
|
{
|
|
|
|
struct device_node *node;
|
|
|
|
|
|
|
|
for_each_compatible_node(node, NULL, "samsung,exynos4210-sysram") {
|
|
|
|
if (!of_device_is_available(node))
|
|
|
|
continue;
|
|
|
|
sysram_base_addr = of_iomap(node, 0);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
for_each_compatible_node(node, NULL, "samsung,exynos4210-sysram-ns") {
|
|
|
|
if (!of_device_is_available(node))
|
|
|
|
continue;
|
|
|
|
sysram_ns_base_addr = of_iomap(node, 0);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-07-07 22:51:11 +00:00
|
|
|
static void __init exynos_init_late(void)
|
2012-04-26 02:35:40 +00:00
|
|
|
{
|
2012-11-15 06:48:56 +00:00
|
|
|
if (of_machine_is_compatible("samsung,exynos5440"))
|
|
|
|
/* to be supported later */
|
|
|
|
return;
|
|
|
|
|
2014-03-17 22:28:22 +00:00
|
|
|
exynos_pm_init();
|
2012-04-26 02:35:40 +00:00
|
|
|
}
|
|
|
|
|
2013-06-18 16:36:56 +00:00
|
|
|
static int __init exynos_fdt_map_chipid(unsigned long node, const char *uname,
|
2013-04-23 13:46:53 +00:00
|
|
|
int depth, void *data)
|
|
|
|
{
|
|
|
|
struct map_desc iodesc;
|
2014-05-05 09:26:48 +00:00
|
|
|
const __be32 *reg;
|
2014-04-02 04:49:03 +00:00
|
|
|
int len;
|
2013-04-23 13:46:53 +00:00
|
|
|
|
|
|
|
if (!of_flat_dt_is_compatible(node, "samsung,exynos4210-chipid") &&
|
|
|
|
!of_flat_dt_is_compatible(node, "samsung,exynos5440-clock"))
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
reg = of_get_flat_dt_prop(node, "reg", &len);
|
|
|
|
if (reg == NULL || len != (sizeof(unsigned long) * 2))
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
iodesc.pfn = __phys_to_pfn(be32_to_cpu(reg[0]));
|
|
|
|
iodesc.length = be32_to_cpu(reg[1]) - 1;
|
|
|
|
iodesc.virtual = (unsigned long)S5P_VA_CHIPID;
|
|
|
|
iodesc.type = MT_DEVICE;
|
|
|
|
iotable_init(&iodesc, 1);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
2011-12-27 07:18:36 +00:00
|
|
|
/*
|
|
|
|
* exynos_map_io
|
|
|
|
*
|
|
|
|
* register the standard cpu IO areas
|
|
|
|
*/
|
2014-03-20 17:09:39 +00:00
|
|
|
static void __init exynos_map_io(void)
|
|
|
|
{
|
2014-03-20 17:14:30 +00:00
|
|
|
if (soc_is_exynos4())
|
2014-03-20 17:09:39 +00:00
|
|
|
iotable_init(exynos4_iodesc, ARRAY_SIZE(exynos4_iodesc));
|
|
|
|
|
2014-03-20 17:14:30 +00:00
|
|
|
if (soc_is_exynos5())
|
2014-03-20 17:09:39 +00:00
|
|
|
iotable_init(exynos5_iodesc, ARRAY_SIZE(exynos5_iodesc));
|
|
|
|
}
|
2011-12-27 07:18:36 +00:00
|
|
|
|
2014-07-07 22:51:11 +00:00
|
|
|
static void __init exynos_init_io(void)
|
2011-12-27 07:18:36 +00:00
|
|
|
{
|
2013-06-05 20:56:33 +00:00
|
|
|
debug_ll_io_init();
|
|
|
|
|
2013-06-15 00:13:25 +00:00
|
|
|
of_scan_flat_dt(exynos_fdt_map_chipid, NULL);
|
2012-11-15 06:48:56 +00:00
|
|
|
|
2011-12-27 07:18:36 +00:00
|
|
|
/* detect cpu id and rev. */
|
|
|
|
s5p_init_cpu(S5P_VA_CHIPID);
|
|
|
|
|
2014-03-20 17:09:39 +00:00
|
|
|
exynos_map_io();
|
2012-02-11 13:15:45 +00:00
|
|
|
}
|
|
|
|
|
2014-07-10 23:08:29 +00:00
|
|
|
static const struct of_device_id exynos_dt_pmu_match[] = {
|
|
|
|
{ .compatible = "samsung,exynos3250-pmu" },
|
|
|
|
{ .compatible = "samsung,exynos4210-pmu" },
|
|
|
|
{ .compatible = "samsung,exynos4212-pmu" },
|
|
|
|
{ .compatible = "samsung,exynos4412-pmu" },
|
|
|
|
{ .compatible = "samsung,exynos5250-pmu" },
|
2014-07-28 21:17:39 +00:00
|
|
|
{ .compatible = "samsung,exynos5260-pmu" },
|
2014-07-28 21:10:40 +00:00
|
|
|
{ .compatible = "samsung,exynos5410-pmu" },
|
2014-07-10 23:08:29 +00:00
|
|
|
{ .compatible = "samsung,exynos5420-pmu" },
|
|
|
|
{ /*sentinel*/ },
|
|
|
|
};
|
|
|
|
|
|
|
|
static void exynos_map_pmu(void)
|
|
|
|
{
|
|
|
|
struct device_node *np;
|
|
|
|
|
|
|
|
np = of_find_matching_node(NULL, exynos_dt_pmu_match);
|
|
|
|
if (np)
|
|
|
|
pmu_base_addr = of_iomap(np, 0);
|
|
|
|
|
|
|
|
if (!pmu_base_addr)
|
|
|
|
panic("failed to find exynos pmu register\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
static void __init exynos_init_irq(void)
|
|
|
|
{
|
|
|
|
irqchip_init();
|
|
|
|
/*
|
|
|
|
* Since platsmp.c needs pmu base address by the time
|
|
|
|
* DT is not unflatten so we can't use DT APIs before
|
|
|
|
* init_irq
|
|
|
|
*/
|
|
|
|
exynos_map_pmu();
|
|
|
|
}
|
|
|
|
|
2014-03-20 17:14:30 +00:00
|
|
|
static void __init exynos_dt_machine_init(void)
|
2011-12-27 07:18:36 +00:00
|
|
|
{
|
2014-03-20 17:14:30 +00:00
|
|
|
struct device_node *i2c_np;
|
|
|
|
const char *i2c_compat = "samsung,s3c2440-i2c";
|
|
|
|
unsigned int tmp;
|
|
|
|
int id;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Exynos5's legacy i2c controller and new high speed i2c
|
|
|
|
* controller have muxed interrupt sources. By default the
|
|
|
|
* interrupts for 4-channel HS-I2C controller are enabled.
|
|
|
|
* If node for first four channels of legacy i2c controller
|
|
|
|
* are available then re-configure the interrupts via the
|
|
|
|
* system register.
|
|
|
|
*/
|
|
|
|
if (soc_is_exynos5()) {
|
|
|
|
for_each_compatible_node(i2c_np, NULL, i2c_compat) {
|
|
|
|
if (of_device_is_available(i2c_np)) {
|
|
|
|
id = of_alias_get_id(i2c_np, "i2c");
|
|
|
|
if (id < 4) {
|
|
|
|
tmp = readl(EXYNOS5_SYS_I2C_CFG);
|
|
|
|
writel(tmp & ~(0x1 << id),
|
|
|
|
EXYNOS5_SYS_I2C_CFG);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2012-02-11 13:15:45 +00:00
|
|
|
|
2014-06-03 04:47:46 +00:00
|
|
|
/*
|
|
|
|
* This is called from smp_prepare_cpus if we've built for SMP, but
|
|
|
|
* we still need to set it up for PM and firmware ops if not.
|
|
|
|
*/
|
2014-07-04 21:09:18 +00:00
|
|
|
if (!IS_ENABLED(CONFIG_SMP))
|
2014-06-03 04:47:46 +00:00
|
|
|
exynos_sysram_init();
|
|
|
|
|
2014-07-18 18:48:35 +00:00
|
|
|
if (of_machine_is_compatible("samsung,exynos4210") ||
|
|
|
|
of_machine_is_compatible("samsung,exynos5250"))
|
|
|
|
platform_device_register(&exynos_cpuidle);
|
2014-07-04 21:24:35 +00:00
|
|
|
|
2014-07-18 18:48:35 +00:00
|
|
|
platform_device_register_simple("exynos-cpufreq", -1, NULL, 0);
|
2014-03-20 17:14:30 +00:00
|
|
|
|
|
|
|
of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
|
2011-12-27 07:18:36 +00:00
|
|
|
}
|
2014-03-20 17:14:30 +00:00
|
|
|
|
|
|
|
static char const *exynos_dt_compat[] __initconst = {
|
2014-05-25 19:12:26 +00:00
|
|
|
"samsung,exynos3",
|
|
|
|
"samsung,exynos3250",
|
2014-03-20 17:14:59 +00:00
|
|
|
"samsung,exynos4",
|
2014-03-20 17:14:30 +00:00
|
|
|
"samsung,exynos4210",
|
|
|
|
"samsung,exynos4212",
|
|
|
|
"samsung,exynos4412",
|
2014-03-20 17:14:59 +00:00
|
|
|
"samsung,exynos5",
|
2014-03-20 17:14:30 +00:00
|
|
|
"samsung,exynos5250",
|
2014-05-25 19:28:17 +00:00
|
|
|
"samsung,exynos5260",
|
2014-03-20 17:14:30 +00:00
|
|
|
"samsung,exynos5420",
|
|
|
|
"samsung,exynos5440",
|
|
|
|
NULL
|
|
|
|
};
|
|
|
|
|
|
|
|
static void __init exynos_reserve(void)
|
|
|
|
{
|
|
|
|
#ifdef CONFIG_S5P_DEV_MFC
|
|
|
|
int i;
|
|
|
|
char *mfc_mem[] = {
|
|
|
|
"samsung,mfc-v5",
|
|
|
|
"samsung,mfc-v6",
|
|
|
|
"samsung,mfc-v7",
|
|
|
|
};
|
|
|
|
|
|
|
|
for (i = 0; i < ARRAY_SIZE(mfc_mem); i++)
|
|
|
|
if (of_scan_flat_dt(s5p_fdt_alloc_mfc_mem, mfc_mem[i]))
|
|
|
|
break;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
2014-07-15 17:03:36 +00:00
|
|
|
static void __init exynos_dt_fixup(void)
|
|
|
|
{
|
|
|
|
/*
|
|
|
|
* Some versions of uboot pass garbage entries in the memory node,
|
|
|
|
* use the old CONFIG_ARM_NR_BANKS
|
|
|
|
*/
|
|
|
|
of_fdt_limit_memory(8);
|
|
|
|
}
|
|
|
|
|
2014-03-20 17:14:30 +00:00
|
|
|
DT_MACHINE_START(EXYNOS_DT, "SAMSUNG EXYNOS (Flattened Device Tree)")
|
|
|
|
/* Maintainer: Thomas Abraham <thomas.abraham@linaro.org> */
|
|
|
|
/* Maintainer: Kukjin Kim <kgene.kim@samsung.com> */
|
2014-04-28 14:54:08 +00:00
|
|
|
.l2c_aux_val = 0x3c400001,
|
|
|
|
.l2c_aux_mask = 0xc20fffff,
|
2014-03-20 17:14:30 +00:00
|
|
|
.smp = smp_ops(exynos_smp_ops),
|
|
|
|
.map_io = exynos_init_io,
|
|
|
|
.init_early = exynos_firmware_init,
|
2014-07-10 23:08:29 +00:00
|
|
|
.init_irq = exynos_init_irq,
|
2014-03-20 17:14:30 +00:00
|
|
|
.init_machine = exynos_dt_machine_init,
|
|
|
|
.init_late = exynos_init_late,
|
|
|
|
.dt_compat = exynos_dt_compat,
|
|
|
|
.restart = exynos_restart,
|
|
|
|
.reserve = exynos_reserve,
|
2014-07-15 17:03:36 +00:00
|
|
|
.dt_fixup = exynos_dt_fixup,
|
2014-03-20 17:14:30 +00:00
|
|
|
MACHINE_END
|