paddr_t
paddr_t data_addr;
paddr_t ccb_paddr;
paddr_t
os_pa_free(paddr_t pa)
os_contigpa_zalloc(paddr_t *pa, vaddr_t *va, size_t npages)
os_contigpa_free(paddr_t pa __unused, vaddr_t va, size_t npages)
paddr_t
os_pa_free(paddr_t pa)
os_contigpa_zalloc(paddr_t *pa, vaddr_t *va, size_t npages)
paddr_t _pa;
os_contigpa_free(paddr_t pa, vaddr_t va, size_t npages)
paddr_t os_pa_zalloc(void);
void os_pa_free(paddr_t);
int os_contigpa_zalloc(paddr_t *, vaddr_t *, size_t);
void os_contigpa_free(paddr_t, vaddr_t, size_t);
void svm_vmrun(paddr_t, uint64_t *);
paddr_t pa;
paddr_t vmcb_pa;
paddr_t iobm_pa;
paddr_t msrbm_pa;
static inline paddr_t __diagused
paddr_t pa;
: [pa] "m" (*(paddr_t *)&pa)
vmx_vmptrld(paddr_t *pa)
vmx_vmclear(paddr_t *pa)
paddr_t pa;
vmx_vmxon(paddr_t *pa)
paddr_t pa;
paddr_t vmcs_pa;
paddr_t msrbm_pa;
paddr_t gmsr_pa;
paddr_t vmcs_pa = (paddr_t)arg;
vmx_vmclear_remote(os_cpu_t *cpu, paddr_t vmcs_pa)
main(paddr_t pa_start __unused)