#pragma once
#include "common/types.h"

extern uint64 g_uart_base;
extern uint64 g_clint_base;
extern uint64 g_plic_base;
extern uint64 g_dtb_addr;