UINT64TOPTR
UINT64TOPTR(val), NULL);
UINT64TOPTR(state), NULL, target_ci);
UINT64TOPTR(state), NULL);
if (UINT64TOPTR(bp->b_vp) != NULL) {
vn = vc_lookup(UINT64TOPTR(bp->b_vp));