imps_processor
imps_processor proc[2];
boot_cpu (imps_processor * proc)
add_processor (imps_processor * proc)
add_processor ((imps_processor *) start);
typedef struct imps_processor imps_processor;