A method for storing an identity of a processor in a multiprocessor computer system, the processor including a high frequency clock having a clock value represented as a set of binary digits, the method comprising encoding an identifier of the processor in a subset of the set of binary digits. It is therefore possible to retrieve a value of a time represented by a high frequency clock in a processor and an identification of the corresponding processor in a single indivisible operation by encoding the processor identifier in the clock value.