/* 2MB large area for motherboard's peripherals static mapping */#define V2M_PERIPH 0xf8000000/* Tile's peripherals static mappings should start here */#define V2T_PERIPH 0xf8200000voidvexpress_dt_smp_map_io(void);externstructsmp_operationsvexpress_smp_ops;externvoidvexpress_cpu_die(unsignedintcpu);