kern/126634: HEAD kernel does not compile without xen option

[Roel van Meer]

>Number:         126634
>Category:       kern
>Synopsis:       HEAD kernel does not compile without xen option
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    freebsd-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Mon Aug 18 21:50:07 UTC 2008
>Closed-Date:
>Last-Modified:
>Originator:     Roel van Meer
>Release:        7.0
>Organization:
>Environment:
FreeBSD aardvark.k38.local 7.0-RELEASE FreeBSD 7.0-RELEASE #0: Sun Feb 24 19:59:52 UTC 2008     root at logan.cse.buffalo.edu:/usr/obj/usr/src/sys/GENERIC  i386
>Description:
When compiling a HEAD release kernel, it fails with an error:
warning: implicit declaration of function 'PT_UPDATES_FLUSH'
The problem seems to be in ./i386/i386/machdep.c, line 2326, where this function is called. The include file that defines it is only included when the xen option is enabled (e.g. if XEN is defined).
My version of machdep.c is $FreeBSD: src/sys/i386/i386/machdep.c,v 1.672 2008/08/17 23:38:14 kmacy Exp $
>How-To-Repeat:
make buildkernel
>Fix:
#ifdef XEN/#endif statements around the call to PT_UPDATES_FLUSH() in ./i386/i386/machdep.c (line 2326).

>Release-Note:
>Audit-Trail:
>Unformatted: