kptr_restrict