Searched refs:xmaddr_t (Results 1 – 3 of 3) sorted by relevance
23 } xmaddr_t; typedef30 #define XMADDR(x) ((xmaddr_t) { .maddr = (x) })203 static inline xmaddr_t phys_to_machine(xpaddr_t phys) in phys_to_machine()209 static inline xpaddr_t machine_to_phys(xmaddr_t machine) in machine_to_phys()318 xmaddr_t arbitrary_virt_to_machine(void *address);
17 xmaddr_t maddr = arbitrary_virt_to_machine(vaddr); in arbitrary_virt_to_mfn()22 xmaddr_t arbitrary_virt_to_machine(void *vaddr) in arbitrary_virt_to_machine()
515 xmaddr_t maddr; in load_TLS_descriptor()578 xmaddr_t mach_lp = arbitrary_virt_to_machine(&dt[entrynum]); in xen_write_ldt_entry()787 xmaddr_t maddr = arbitrary_virt_to_machine(&dt[entry]); in xen_write_gdt_entry()815 xmaddr_t maddr = virt_to_machine(&dt[entry]); in xen_write_gdt_entry_boot()