Searched defs:hvclock_page (Results 1 – 2 of 2) sorted by relevance
28 hvclock_page = vvar_start + 2 * PAGE_SIZE; symbol