xc_increment
(void) xc_increment(&CPU->cpu_m);
cnt = xc_increment(&cpup->cpu_m);
(void) xc_increment(&cpup->cpu_m);