3904 /* current owner of the processor */