Constant WHvX64RegisterInterruptSspTableAddr 

pub const WHvX64RegisterInterruptSspTableAddr: WHV_REGISTER_NAME;