Searched refs:console_addr (Results 1 – 1 of 1) sorted by relevance
233 uintptr_t console_addr = 0; in xen_console_init() local252 console_addr = (uintptr_t) (console_pfn << XEN_PAGE_SHIFT); in xen_console_init()253 device_map(DEVICE_MMIO_RAM_PTR(dev), console_addr, XEN_PAGE_SIZE, in xen_console_init()
