Searched refs:xmaddr_t (Results 1 – 4 of 4) sorted by relevance
19 } xmaddr_t; typedef26 #define XMADDR(x) ((xmaddr_t) { .maddr = (x) })82 static inline xmaddr_t arbitrary_virt_to_machine(void *vaddr) in arbitrary_virt_to_machine()
21 } xmaddr_t; typedef28 #define XMADDR(x) ((xmaddr_t) { .maddr = (x) })179 static inline xmaddr_t phys_to_machine(xpaddr_t phys) in phys_to_machine()185 static inline xpaddr_t machine_to_phys(xmaddr_t machine) in machine_to_phys()292 xmaddr_t arbitrary_virt_to_machine(void *address);
695 xmaddr_t maddr; in load_TLS_descriptor()758 xmaddr_t mach_lp = arbitrary_virt_to_machine(&dt[entrynum]); in xen_write_ldt_entry()930 xmaddr_t maddr = arbitrary_virt_to_machine(&dt[entry]); in xen_write_gdt_entry()958 xmaddr_t maddr = virt_to_machine(&dt[entry]); in xen_write_gdt_entry_boot()
129 xmaddr_t maddr = arbitrary_virt_to_machine(vaddr); in arbitrary_virt_to_mfn()134 xmaddr_t arbitrary_virt_to_machine(void *vaddr) in arbitrary_virt_to_machine()