Symbol: kvm_s2_trans_writable