xmaddr_t
static inline xmaddr_t phys_to_machine(xpaddr_t phys)
static inline xpaddr_t machine_to_phys(xmaddr_t machine)
xmaddr_t arbitrary_virt_to_machine(void *address);
#define XMADDR(x) ((xmaddr_t) { .maddr = (x) })
xmaddr_t maddr;
xmaddr_t mach_lp = arbitrary_virt_to_machine(&dt[entrynum]);
xmaddr_t maddr = arbitrary_virt_to_machine(&dt[entry]);
xmaddr_t maddr = virt_to_machine(&dt[entry]);
xmaddr_t maddr = arbitrary_virt_to_machine(vaddr);
xmaddr_t arbitrary_virt_to_machine(void *vaddr)
#define XMADDR(x) ((xmaddr_t) { .maddr = (x) })
static inline xmaddr_t arbitrary_virt_to_machine(void *vaddr)