Searched refs:ptpbase32 (Results 1 – 1 of 1) sorted by relevance
2073 uint32_t *ptpbase32, pte32; in _vm_gla2gpa() local2110 ptpbase32 = ptp_hold(vm, vcpuid, ptpphys, PAGE_SIZE, in _vm_gla2gpa()2113 if (ptpbase32 == NULL) in _vm_gla2gpa()2120 pte32 = ptpbase32[ptpindex]; in _vm_gla2gpa()2141 if (atomic_cmpset_32(&ptpbase32[ptpindex], in _vm_gla2gpa()2156 if (atomic_cmpset_32(&ptpbase32[ptpindex], in _vm_gla2gpa()