Returns the PID of the running process when this timer was created (via timers::create) or an empty PID if no process was running when this timer was created.
| 53 | // created (via timers::create) or an empty PID if no process was |
| 54 | // running when this timer was created. |
| 55 | process::UPID creator() const |
| 56 | { |
| 57 | return pid; |
| 58 | } |
| 59 | |
| 60 | private: |
| 61 | friend class Clock; |