Lines Matching refs:__va
699 mbi = __va(mbi_p); in __start_xen()
701 mod = __va(mbi->mods_addr); in __start_xen()
704 ? (char *)__va(mbi->boot_loader_name) : "unknown"; in __start_xen()
708 __va(mbi->cmdline) : NULL, in __start_xen()
843 memory_map_t *map = __va(mbi->mmap_addr + bytes); in __start_xen()
978 map_pages_to_xen((unsigned long)__va(s), s >> PAGE_SHIFT, in __start_xen()
1019 pl4e = __va(__pa(idle_pg_table)); in __start_xen()
1051 pl2e = __va(__pa(l2_xenmap)); in __start_xen()
1116 "1" (__va(__pa(cpu0_stack))), "2" (STACK_SIZE / 8) in __start_xen()
1288 map_pages_to_xen((unsigned long)__va(map_e), PFN_DOWN(map_e), in __start_xen()
1298 map_pages_to_xen((unsigned long)__va(map_e), PFN_DOWN(map_e), in __start_xen()
1303 map_pages_to_xen((unsigned long)__va(s), s >> PAGE_SHIFT, in __start_xen()
1326 map_pages_to_xen((unsigned long)__va(kexec_crash_area.start), in __start_xen()
1642 cmdline = (char *)(mod[0].string ? __va(mod[0].string) : NULL); in __start_xen()
1728 [stk] "g" (__va(__pa(get_stack_bottom()))), in __start_xen()