1/* 2 * Copyright (c) 2007 The Hewlett-Packard Development Company 3 * All rights reserved. 4 * 5 * Redistribution and use of this software in source and binary forms, 6 * with or without modification, are permitted provided that the 7 * following conditions are met: 8 * --- 122 unchanged lines hidden (view full) --- 131 uint8_t initVector; 132 bool pendingStartup; 133 uint8_t startupVector; 134 bool startedUp; 135 136 // This is a quick check whether any of the above (except ExtInt) are set. 137 bool pendingUnmaskableInt; 138 |
139 // A count of how many IPIs are in flight. 140 int pendingIPIs; 141 |
142 /* 143 * IRR and ISR maintenance. 144 */ 145 uint8_t IRRV; 146 uint8_t ISRV; 147 148 int 149 findRegArrayMSB(ApicRegIndex base) --- 159 unchanged lines hidden --- |