From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner+willy=40w.ods.org-S1751325AbWIAIWD@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id S1751325AbWIAIWD (ORCPT <rfc822;willy@w.ods.org>);
	Fri, 1 Sep 2006 04:22:03 -0400
Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1751271AbWIAIWB
	(ORCPT <rfc822;linux-kernel-outgoing>);
	Fri, 1 Sep 2006 04:22:01 -0400
Received: from mx2.suse.de ([195.135.220.15]:10176 "EHLO mx2.suse.de")
	by vger.kernel.org with ESMTP id S1750819AbWIAIVk (ORCPT
	<rfc822;linux-kernel@vger.kernel.org>);
	Fri, 1 Sep 2006 04:21:40 -0400
From: Andi Kleen <ak@suse.de>
To: Jeremy Fitzhardinge <jeremy@goop.org>
Subject: Re: Type checking for write_pda()
Date: Fri, 1 Sep 2006 09:56:36 +0200
User-Agent: KMail/1.9.3
Cc: Linux Kernel Mailing List <linux-kernel@vger.kernel.org>
References: <44F78EF6.1060701@goop.org>
In-Reply-To: <44F78EF6.1060701@goop.org>
MIME-Version: 1.0
Content-Type: text/plain;
  charset="utf-8"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Message-Id: <200609010956.36648.ak@suse.de>
Sender: linux-kernel-owner@vger.kernel.org
X-Mailing-List: linux-kernel@vger.kernel.org

On Friday 01 September 2006 03:37, Jeremy Fitzhardinge wrote:
> I just added type checking for assignments the PDA in the i386 PDA code.
> Here's the x86-64 equivalent.  (Obviously this doesn't contain the latest
> x86-64 PDA change.)

Added thanks

-Andi