Searched refs:ptpbase32 (Results 1 - 1 of 1) sorted by relevance

/freebsd-10.2-release/sys/amd64/vmm/
H A Dvmm_instruction_emul.c1696 uint32_t *ptpbase32, pte32; local
1732 ptpbase32 = ptp_hold(vm, ptpphys, PAGE_SIZE, &cookie);
1734 if (ptpbase32 == NULL)
1741 pte32 = ptpbase32[ptpindex];
1760 if (atomic_cmpset_32(&ptpbase32[ptpindex],
1775 if (atomic_cmpset_32(&ptpbase32[ptpindex],

Completed in 53 milliseconds