ia64/xen-unstable

annotate docs/check_pkgs @ 9488:0a6f5527ca4b

[IA64] set itv handoff as masked and enable reading irr[0-3]

Set initial vcpu itv handoff state to mask the timer vector.
This seems to match hardware and makes logical sense from a
spurious interrupt perspective. Enable vcpu_get_irr[0-3]
functions as they seem to work and have the proper backing.
This enables the check_sal_cache_flush() in arch/ia64/kernel.sal.c
to work unmodified, allowing us to remove the Xen changes from
the file (and thus the file from the sparse tree).

Signed-off-by: Alex Williamson <alex.williamson@hp.com>
author awilliam@xenbuild.aw
date Tue Apr 04 09:39:45 2006 -0600 (2006-04-04)
parents cf0c13832905
children 59d511c4a8d8
rev   line source
kaf24@2826 1
kaf24@2826 2 silent_which ()
kaf24@2826 3 {
kaf24@7588 4 which $1 1>/dev/null 2>/dev/null || {
kaf24@2826 5 echo "*************************************************"
kaf24@2826 6 echo "*************************************************"
kaf24@2826 7 echo "* WARNING: Package '$1' is required"
kaf24@2826 8 echo "* to build Xen documentation"
kaf24@2826 9 echo "*************************************************"
kaf24@2826 10 echo "*************************************************"
kaf24@7588 11 }
kaf24@2826 12 which $1 1>/dev/null 2>/dev/null
kaf24@2826 13 }
kaf24@2826 14
kaf24@2826 15 silent_which latex || exit 1
kaf24@2826 16 silent_which dvips || exit 1
kaf24@2826 17 silent_which ps2pdf || exit 1
kaf24@2826 18 silent_which fig2dev || exit 1
kaf24@2826 19
kaf24@2826 20 exit 0