Changeset 61151 in vbox

Timestamp:

May 24, 2016 7:46:40 AM (9 years ago)

Author:

vboxsync

Message:

VMM/APIC: naming.

File:

• trunk/src/VBox/VMM/VMMAll/APICAll.cpp (modified) (6 diffs)

trunk/src/VBox/VMM/VMMAll/APICAll.cpp

@@ -414 +414 @@
  * @param   rcNotFound      What to return when no bit is set.
  */
-static int apicGetHighestSetBit(volatile const XAPIC256BITREG *pReg, int rcNotFound)
+static int apicGetHighestSetBitInReg(volatile const XAPIC256BITREG *pReg, int rcNotFound)
 {
     ssize_t const  cFragments     = RT_ELEMENTS(pReg->u);
@@ -505 +505 @@
     if (pXApicPage->svr.u.fApicSoftwareEnable)
     {
-        int const irrv = apicGetHighestSetBit(&pXApicPage->irr, -1 /* rcNotFound */);
+        int const irrv = apicGetHighestSetBitInReg(&pXApicPage->irr, -1 /* rcNotFound */);
         if (irrv >= 0)
         {
@@ -1103 +1103 @@
     /* See Intel spec 10.8.3.1 "Task and Processor Priorities". */
     PXAPICPAGE    pXApicPage = VMCPU_TO_XAPICPAGE(pVCpu);
-    uint8_t const uIsrv      = apicGetHighestSetBit(&pXApicPage->isr, 0 /* rcNotFound */);
+    uint8_t const uIsrv      = apicGetHighestSetBitInReg(&pXApicPage->isr, 0 /* rcNotFound */);
     uint8_t       uPpr;
     if (XAPIC_TPR_GET_TP(pXApicPage->tpr.u8Tpr) >= XAPIC_PPR_GET_PP(uIsrv))
@@ -1182 +1182 @@
 
     PXAPICPAGE pXApicPage = VMCPU_TO_XAPICPAGE(pVCpu);
-    int isrv = apicGetHighestSetBit(&pXApicPage->isr, -1 /* rcNotFound */);
+    int isrv = apicGetHighestSetBitInReg(&pXApicPage->isr, -1 /* rcNotFound */);
     if (isrv >= 0)
     {
@@ -2152 +2152 @@
 {
     PCXAPICPAGE pXApicPage = VMCPU_TO_CXAPICPAGE(pVCpu);
-    int const irrv = apicGetHighestSetBit(&pXApicPage->irr, -1);
+    int const irrv = apicGetHighestSetBitInReg(&pXApicPage->irr, -1);
     if (irrv >= 0)
     {
@@ -2361 +2361 @@
         && pXApicPage->svr.u.fApicSoftwareEnable)
     {
-        int const irrv = apicGetHighestSetBit(&pXApicPage->irr, -1);
+        int const irrv = apicGetHighestSetBitInReg(&pXApicPage->irr, -1);
         if (RT_LIKELY(irrv >= 0))
         {