pseries_accumulate_stolen_time
pseries_accumulate_stolen_time();
void pseries_accumulate_stolen_time(void);