Searched refs:tdg_vm_wr (Results 1 – 1 of 1) sorted by relevance
92 static inline u64 tdg_vm_wr(u64 field, u64 value, u64 mask) in tdg_vm_wr() function222 tdg_vm_wr(TDCS_TD_CTLS, TD_CTLS_PENDING_VE_DISABLE, in disable_sept_ve()254 tdg_vm_wr(TDCS_NOTIFY_ENABLES, 0, -1ULL); in tdx_setup()