Searched refs:hpet_page (Results 1 – 2 of 2) sorted by relevance
30 extern u8 hpet_page35 return *(const volatile u32 *)(&hpet_page + HPET_COUNTER); in vread_hpet()
38 hpet_page = vvar_start + PAGE_SIZE; symbol