On 10/08/2015 02:53 PM, Dario Faggioli wrote:
rather than its hexadecimal representation. This makes
it easier to compare the actual system time with other
times being printed out (e.g., deadlines in RTDS).
Signed-off-by: Dario Faggioli
Acked-by: Juergen Gross
---
Cc: Juergen Gross
Cc: Ge
>>> On 08.10.15 at 15:12, wrote:
> On 08/10/15 13:53, Dario Faggioli wrote:
>> rather than its hexadecimal representation. This makes
>> it easier to compare the actual system time with other
>> times being printed out (e.g., deadlines in RTDS).
>>
>> Signed-off-by: Dario Faggioli
>
> Reviewed-b
On 08/10/15 13:53, Dario Faggioli wrote:
> rather than its hexadecimal representation. This makes
> it easier to compare the actual system time with other
> times being printed out (e.g., deadlines in RTDS).
>
> Signed-off-by: Dario Faggioli
Reviewed-by: Andrew Cooper
There are a number of othe
rather than its hexadecimal representation. This makes
it easier to compare the actual system time with other
times being printed out (e.g., deadlines in RTDS).
Signed-off-by: Dario Faggioli
---
Cc: Juergen Gross
Cc: George Dunlap
---
xen/common/cpupool.c |2 +-
1 file changed, 1 insertion
