Searched refs:ptpbase32 (Results 1 – 1 of 1) sorted by relevance
2071 uint32_t *ptpbase32, pte32; in _vm_gla2gpa() local2108 ptpbase32 = ptp_hold(vcpu, ptpphys, PAGE_SIZE, in _vm_gla2gpa()2111 if (ptpbase32 == NULL) in _vm_gla2gpa()2118 pte32 = ptpbase32[ptpindex]; in _vm_gla2gpa()2139 if (atomic_cmpset_32(&ptpbase32[ptpindex], in _vm_gla2gpa()2154 if (atomic_cmpset_32(&ptpbase32[ptpindex], in _vm_gla2gpa()