Home
last modified time | relevance | path

Searched refs:tdg_vm_wr (Results 1 – 1 of 1) sorted by relevance

/openbmc/linux/arch/x86/coco/tdx/
H A Dtdx.c92 static inline u64 tdg_vm_wr(u64 field, u64 value, u64 mask) in tdg_vm_wr() function
222 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()