Searched refs:TDCS_NOTIFY_ENABLES (Results 1 – 2 of 2) sorted by relevance
24 #define TDCS_NOTIFY_ENABLES 0x9100000000000010 macro
254 tdg_vm_wr(TDCS_NOTIFY_ENABLES, 0, -1ULL); in tdx_setup()