Lines Matching refs:ASSERT
82 #define ASSERT(x) do { } while (0) macro
84 #define ASSERT(x) \ macro
1283 ASSERT(is_empty_shadow_page(sp->spt)); in kvm_mmu_isolate_page()
2708 ASSERT(!VALID_PAGE(root)); in mmu_alloc_direct_roots()
2746 ASSERT(!VALID_PAGE(root)); in mmu_alloc_shadow_roots()
2771 ASSERT(!VALID_PAGE(root)); in mmu_alloc_shadow_roots()
2990 ASSERT(vcpu); in nonpaging_page_fault()
2991 ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa)); in nonpaging_page_fault()
3059 ASSERT(vcpu); in tdp_page_fault()
3060 ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa)); in tdp_page_fault()
3257 ASSERT(is_pae(vcpu)); in paging64_init_context_common()
3351 ASSERT(vcpu); in kvm_init_shadow_mmu()
3352 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa)); in kvm_init_shadow_mmu()
3434 ASSERT(vcpu); in destroy_kvm_mmu()
3799 ASSERT(vcpu); in alloc_mmu_pages()
3819 ASSERT(vcpu); in kvm_mmu_create()
3831 ASSERT(vcpu); in kvm_mmu_setup()
3832 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa)); in kvm_mmu_setup()
4014 ASSERT(vcpu); in kvm_mmu_destroy()