Searched defs:xen_idt_vaddr (Results 1 – 1 of 1) sorted by relevance
107 vaddr_t xen_idt_vaddr = ((vaddr_t) xen_idd) & ~PAGE_MASK; in set_idtgate() local135 vaddr_t xen_idt_vaddr = ((vaddr_t) xen_idd) & ~PAGE_MASK; in unset_idtgate() local