arm_add_memory
extern int arm_add_memory(u64 start, u64 size);
return arm_add_memory(tag->u.mem.start, tag->u.mem.size);
arm_add_memory(start, size);