| |
|
 |
|
 |
|
|
|
| |
|
|
xen-devel
Re: [Xen-devel] [PATCH] i386 linux: make 32-bit PAE kernel work when bui
>See 5.1.2.3.5 and then the examples 5.1.2.3.8 and 5.1.2.3.9
>(particularly the first sentence, which summarises the guarantee
>provided by an aggressive optimising C compiler).
>
>The standard is really not clear in this respect, but I take 5.1.2.3.2
>to apply to the abstract machine, and not necessarily an
>implementation. But I am not a compiler writer. :-)
Okay, I agree.
Jan
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|
|
|
| |
|
Home