This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
Re: [PATCH] glibc vDSO bits for ppc/ppc64 update
- From: Benjamin Herrenschmidt <benh at kernel dot crashing dot org>
- To: Tom Gall <tom_gall at vnet dot ibm dot com>
- Cc: libc-alpha at sources dot redhat dot com, munroesj at us dot ibm dot com, linuxppc-dev at ozlabs dot org, linuxppc64-dev at ozlabs dot org
- Date: Sat, 12 Nov 2005 09:13:28 +1100
- Subject: Re: [PATCH] glibc vDSO bits for ppc/ppc64 update
- References: <Pine.LNX.4.64.0511111555580.6838@triton>
> Additional hp_timer_t is now declared as unsigned long long int
> to match up with benh's get_tbfreq on 32 bit ppc. (ppc64 is already
> 64 bit)
I'm not sure having hp_timer_t be 64 bits on 32 bits libraries is the
right thing to do. I suppose it's a matter of performances tradeoff. The
fact that the vDSO __kernel_get_tbfreq() returns a long long doesn't
force you to use a long long hp_timer_t, the vDSO doesn't have to return
a value of type hp_timer_t :)
I did that on the vDSO to avoid having to change the vDSO interface if
we ever have to deal with >4Ghz time sources.
Ben.