Searched refs:hpet_dev_map (Results 1 – 1 of 1) sorted by relevance
230 static volatile char *hpet_dev_map[HPET_DEV_MAP_MAX]; variable255 old_map = hpet_dev_map[u]; in __vdso_init_hpet()266 atomic_cmpset_rel_ptr((volatile uintptr_t *)&hpet_dev_map[u], in __vdso_init_hpet()273 if (atomic_cmpset_rel_ptr((volatile uintptr_t *)&hpet_dev_map[u], in __vdso_init_hpet()418 (volatile uintptr_t *)&hpet_dev_map[idx]); in __vdso_gettc()422 (volatile uintptr_t *)&hpet_dev_map[idx]); in __vdso_gettc()