atomic_or_64_nv
extern uint64_t atomic_or_64_nv(volatile uint64_t *, uint64_t);
immu_devi = (immu_devi_t *)(uintptr_t)atomic_or_64_nv((uint64_t *)vptr,