Searched refs:ptpbase32 (Results 1 – 1 of 1) sorted by relevance
1696 uint32_t *ptpbase32, pte32; in vm_gla2gpa() local1732 ptpbase32 = ptp_hold(vm, vcpuid, ptpphys, PAGE_SIZE, in vm_gla2gpa()1735 if (ptpbase32 == NULL) in vm_gla2gpa()1742 pte32 = ptpbase32[ptpindex]; in vm_gla2gpa()1761 if (atomic_cmpset_32(&ptpbase32[ptpindex], in vm_gla2gpa()1776 if (atomic_cmpset_32(&ptpbase32[ptpindex], in vm_gla2gpa()