Lines Matching refs:vaddr
68 uintptr_t vaddr; in bcons_init_xen() local
73 vaddr = (uintptr_t)&big_empty; in bcons_init_xen()
74 vaddr = (vaddr + MMU_PAGEOFFSET) & MMU_PAGEMASK; in bcons_init_xen()
75 HYPERVISOR_shared_info = (shared_info_t *)vaddr; in bcons_init_xen()
81 (void) HYPERVISOR_update_va_mapping(vaddr, in bcons_init_xen()
88 (void) HYPERVISOR_update_va_mapping(vaddr + MMU_PAGESIZE, in bcons_init_xen()
123 vaddr = (uintptr_t)&video_fb_buf; in bcons_init_xen()
124 vaddr = (vaddr + MMU_PAGEOFFSET) & MMU_PAGEMASK; in bcons_init_xen()
126 (void) HYPERVISOR_update_va_mapping(vaddr + i, in bcons_init_xen()
129 video_fb = (unsigned short *)vaddr; in bcons_init_xen()
132 vaddr = (uintptr_t)&kb_status_buf; in bcons_init_xen()
133 vaddr = (vaddr + MMU_PAGEOFFSET) & MMU_PAGEMASK; in bcons_init_xen()
134 (void) HYPERVISOR_update_va_mapping(vaddr, 0x0 | PTE_DEV_BITS, in bcons_init_xen()
136 kb_status = (unsigned char *)vaddr; in bcons_init_xen()