x86defs::tdx

Constant RESET_VECTOR_PAGE

Source 
pub const RESET_VECTOR_PAGE: u64 = 0xfffff000;