sidecar::arch::x86_64::addr_space

Constant PTE_HYPERCALL_OUTPUT

Source 
const PTE_HYPERCALL_OUTPUT: usize = 2;