EXYNOS5800_PMU_SWRESET
bus_space_write_4(bst, pmu_bsh, EXYNOS5800_PMU_SWRESET,
bus_space_map(bst, EXYNOS5800_PMU_BASE + EXYNOS5800_PMU_SWRESET, 4, 0, &bsh);