Symbol: vm_domain_free_lockptr