exynos_device_register
exynos_device_register(self, aux);
extern void exynos_device_register(device_t self, void *aux);