Searched refs:v_baseAddrHigh (Results 1 – 2 of 2) sorted by relevance
305 long v_baseAddrHigh; member
2848 new_vinfo.v_physaddr |= (((uint64_t) boot_vinfo->v_baseAddrHigh) << 32); in initialize_screen()