Lines Matching refs:XEN_MAPPEDREGS
234 xen_set_itm(val - XEN_MAPPEDREGS->itc_offset);
245 XEN_MAPPEDREGS->itc_offset;
259 XEN_MAPPEDREGS->itc_offset = val - mitc;
260 XEN_MAPPEDREGS->itc_last = val;
271 itc_offset = XEN_MAPPEDREGS->itc_offset;
273 itc_last = XEN_MAPPEDREGS->itc_last;
278 ret_itc_last = cmpxchg(&XEN_MAPPEDREGS->itc_last,
421 * xen_set_itm(val - XEN_MAPPEDREGS->itc_offset);
435 * return ia64_native_getreg(_IA64_REG_CR_ITM) + XEN_MAPPEDREGS->itc_offset;
453 * XEN_MAPPEDREGS->itc_offset = val - mitc;
454 * XEN_MAPPEDREGS->itc_last = val;
476 * itc_offset = XEN_MAPPEDREGS->itc_offset;
478 * itc_last = XEN_MAPPEDREGS->itc_last;
483 * ret_itc_last = cmpxchg(&XEN_MAPPEDREGS->itc_last,
586 * tmp = XEN_MAPPEDREGS->interrupt_mask_addr = XEN_PSR_I_ADDR_ADDR;
617 * // masked = *(*XEN_MAPPEDREGS->interrupt_mask_addr)
619 * // *(*XEN_MAPPEDREGS->interrupt_mask_addr) = 0
623 * (uint8_t*)(*XEN_MAPPEDREGS->interrupt_mask_addr) - 1;
655 * psr_i_addr_addr = XEN_MAPPEDREGS->interrupt_mask_addr