xen-devel
[Xen-devel] Re: [PATCH 2/4] x86, xen: introduce x86_init.mapping.pagetab
To: |
Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx> |
Subject: |
[Xen-devel] Re: [PATCH 2/4] x86, xen: introduce x86_init.mapping.pagetable_reserve |
From: |
"H. Peter Anvin" <hpa@xxxxxxxxx> |
Date: |
Mon, 18 Apr 2011 07:42:55 -0700 |
Cc: |
"jeremy@xxxxxxxx" <jeremy@xxxxxxxx>, "xen-devel@xxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxx>, "konrad.wilk@xxxxxxxxxx" <konrad.wilk@xxxxxxxxxx>, "linux-kernel@xxxxxxxxxxxxxxx" <linux-kernel@xxxxxxxxxxxxxxx>, "mingo@xxxxxxx" <mingo@xxxxxxx>, "H. Peter Anvin" <hpa@xxxxxxxxxxxxxxx>, "yinghai@xxxxxxxxxx" <yinghai@xxxxxxxxxx> |
Delivery-date: |
Mon, 18 Apr 2011 07:43:59 -0700 |
Envelope-to: |
www-data@xxxxxxxxxxxxxxxxxxx |
In-reply-to: |
<alpine.DEB.2.00.1104181507180.10886@kaball-desktop> |
List-help: |
<mailto:xen-devel-request@lists.xensource.com?subject=help> |
List-id: |
Xen developer discussion <xen-devel.lists.xensource.com> |
List-post: |
<mailto:xen-devel@lists.xensource.com> |
List-subscribe: |
<http://lists.xensource.com/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=subscribe> |
List-unsubscribe: |
<http://lists.xensource.com/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe> |
References: |
<alpine.DEB.2.00.1104121149280.22672@kaball-desktop> <1302607192-21355-2-git-send-email-stefano.stabellini@xxxxxxxxxxxxx> <4DA5EAE4.2060406@xxxxxxxxxxxxxxx> <alpine.DEB.2.00.1104141218110.22672@kaball-desktop> <4DA70A4A.4030805@xxxxxxxxx> <alpine.DEB.2.00.1104141746430.10886@kaball-desktop> <alpine.DEB.2.00.1104181507180.10886@kaball-desktop> |
Sender: |
xen-devel-bounces@xxxxxxxxxxxxxxxxxxx |
User-agent: |
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.15) Gecko/20110403 Fedora/3.1.9-6.fc15 Thunderbird/3.1.9 |
On 04/18/2011 07:09 AM, Stefano Stabellini wrote:
>
> Sorry, I don't mean to be pushy, it is just that I'll be AFK for 12 days
> starting from next Friday and I think that this issue should really be
> fixed in time for the 2.6.39 release, otherwise no 2.6.39 kernels will
> be able to boot on any xen system.
YOU STILL HAVEN'T PROPOSED ANY SEMANTICS.
The semantics of a hook is a description of what the preconditions are,
what the postconditions are, and what exactly they are allowed or not
allowed to do.
This is a real pain to do, *exactly because hooks are a real pain*.
Most hooks that have been put in has been "oh, just do something at
point X in the code", which is a case of definition by implementation,
which is exactly how we ended up with the current mess.
-hpa
--
H. Peter Anvin, Intel Open Source Technology Center
I work for Intel. I don't speak on their behalf.
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|
<Prev in Thread] |
Current Thread |
[Next in Thread>
|
- [Xen-devel] Re: [PATCH 2/4] x86,xen: introduce x86_init.mapping.pagetable_reserve, (continued)
[Xen-devel] Re: [PATCH 2/4] x86, xen: introduce x86_init.mapping.pagetable_reserve, H. Peter Anvin
- [Xen-devel] Re: [PATCH 2/4] x86,xen: introduce x86_init.mapping.pagetable_reserve, Stefano Stabellini
- [Xen-devel] Re: [PATCH 2/4] x86,xen: introduce x86_init.mapping.pagetable_reserve, Stefano Stabellini
- [Xen-devel] Re: [PATCH 2/4] x86, xen: introduce x86_init.mapping.pagetable_reserve, H. Peter Anvin
- [Xen-devel] Re: [PATCH 2/4] x86,xen: introduce x86_init.mapping.pagetable_reserve, Stefano Stabellini
- [Xen-devel] Re: [PATCH 2/4] x86,xen: introduce x86_init.mapping.pagetable_reserve, Stefano Stabellini
- [Xen-devel] Re: [PATCH 2/4] x86, xen: introduce x86_init.mapping.pagetable_reserve,
H. Peter Anvin <=
- [Xen-devel] Re: [PATCH 2/4] x86,xen: introduce x86_init.mapping.pagetable_reserve, Stefano Stabellini
- [Xen-devel] Re: [PATCH 2/4] x86, xen: introduce x86_init.mapping.pagetable_reserve, Jeremy Fitzhardinge
[Xen-devel] [PATCH 1/4] xen: mask_rw_pte mark RO all pagetable pages up to pgt_buf_top, stefano . stabellini
[Xen-devel] [PATCH 4/4] xen: do not create the extra e820 region at an addr lower than 4G, stefano . stabellini
|
|
|