Am Mittwoch, den 12.12.2012, 22:47 -0800 schrieb H. Peter Anvin: > Should be a simple matter of sharing pages. Look perhaps at the x32 vdso for > a hint. >
> > > >Any idea or clean solution how i can map the 64 bit vgtod into the 32 > >bit address space? Thats the only problem i see. > > No, i see no special handling for x32 vdso to do this. I am not sure if x32 vdso can access the 64 bit address space of vsyscall_gtod_data. I can't test this due the lack of a x32 abi system. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/