openhcl_boot::hypercall

Type Alias HwId

Source 
pub type HwId = u32;
Expand description

The “hardware ID” used for HvCall::get_vp_index_from_hw_id. This is the APIC ID on x64.