drivers/pci/dmar.c uses these functions, so provide them for ia64
Signed-off-by: NTony Luck <tony.luck@intel.com>