IA64_ID_PAGE_SHIFT
"r"(IA64_ID_PAGE_SHIFT<<2));
ia64_set_itir(IA64_ID_PAGE_SHIFT << 2);
#define IA64_ID_PAGE_SIZE (1 << IA64_ID_PAGE_SHIFT)