Symbol: __pkvm_host_wrprotect_guest