Lines Matching defs:vaddr

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