HRES_LOCK_OFFSET
lock_set_spl((lock_t *)&shadow_hres_lock + HRES_LOCK_OFFSET,
(lock_t *)&hres_lock + HRES_LOCK_OFFSET);
lock_set_spl((lock_t *)&hres_lock + HRES_LOCK_OFFSET, \
lock_set_spl((lock_t *)&hres_lock + HRES_LOCK_OFFSET, \
(lock_t *)&hres_lock + HRES_LOCK_OFFSET);