Searched refs:ptpbase32 (Results 1 – 1 of 1) sorted by relevance
3124 uint32_t *ptpbase32, pte32; in _vm_gla2gpa() local3131 ptpbase32 = ptp_hold(vm, vcpuid, ptpphys, PAGE_SIZE, in _vm_gla2gpa()3134 if (ptpbase32 == NULL) { in _vm_gla2gpa()3142 pte32 = ptpbase32[ptpindex]; in _vm_gla2gpa()3166 if (atomic_cmpset_32(&ptpbase32[ptpindex], in _vm_gla2gpa()3181 if (atomic_cmpset_32(&ptpbase32[ptpindex], in _vm_gla2gpa()