Searched refs:vmm_pte_ops_t (Results 1 – 6 of 6) sorted by relevance
62 typedef struct vmm_pte_ops vmm_pte_ops_t; typedef76 extern vmm_pte_ops_t ept_pte_ops;77 extern vmm_pte_ops_t rvi_pte_ops;82 vmm_gpt_t *vmm_gpt_alloc(vmm_pte_ops_t *);
155 vmm_pte_ops_t ept_pte_ops = {
171 vmm_pte_ops_t rvi_pte_ops = {
118 vmm_pte_ops_t *vgpt_pte_ops;147 vmm_gpt_alloc(vmm_pte_ops_t *pte_ops) in vmm_gpt_alloc()
231 vmspace_alloc(size_t end, vmm_pte_ops_t *pte_ops, bool track_dirty) in vmspace_alloc()
269 static vmm_pte_ops_t *pte_ops = NULL;