/*
 * Copyright (C) 2016 Raphaël Poggi <poggi.raph@gmail.com>
 *
 * GPLv2 only
 */

#ifndef __ASM_ARCH_DEVICES_H__
#define __ASM_ARCH_DEVICES_H__

void virt_add_ddram(u32 size);
void virt_register_uart(unsigned id);

#endif /* __ASM_ARCH_DEVICES_H__ */