ia64/xen-unstable

view tools/libxc/xc_physdev.c @ 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 b3a255e88810
children 74ee53209cca
line source
1 /******************************************************************************
2 * xc_physdev.c
3 *
4 * API for manipulating physical-device access permissions.
5 *
6 * Copyright (c) 2004, Rolf Neugebauer (Intel Research Cambridge)
7 * Copyright (c) 2004, K A Fraser (University of Cambridge)
8 */
10 #include "xc_private.h"
12 int xc_physdev_pci_access_modify(int xc_handle,
13 uint32_t domid,
14 int bus,
15 int dev,
16 int func,
17 int enable)
18 {
19 errno = ENOSYS;
20 return -1;
21 }