Le 15/10/2016 à 20:52, Joerg Sonnenberger a écrit :
On Sat, Oct 15, 2016 at 12:35:39PM +0200, Maxime Villard wrote:
Le 08/10/2016 à 17:14, Maxime Villard a écrit :
The patch is available here . Clearly, I'm not going to commit it now, but
if someone here has an opinion about it, or if you think there is something
obviously wrong that I missed, feel free to tell me about it.
(I have updated and simplified the patch)
Please don't use untyped vaddr_t locations with random casts all over
the place, but use or define a struct with the appropiate (volatile) fields.
Yes, I thought about that. But how do you access the fields from assembly?
At the end of the day, you still need offsets, and it was better to have
I've removed lapic_tpr, which means there is only one pointer to the LAPIC
page and each register access is done with offsets. I have reupdated and
resimplified my patch. The only thing we do now is allocating one page of
va at boot time, and add a level of indirection in the asm code.