Searched defs:APICDeviceInfo (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/PC/ |
| H A D | DevAPIC.cpp | 399 } APICDeviceInfo; typedef in typeref:struct:__anon15013
401 AssertCompileMemberAlignment(APICDeviceInfo, StatMMIOReadGC, 8);
409 static void apic_update_tpr(APICDeviceInfo *pDev, APICState *pApic, uint32_t val);
411 static void apic_eoi(APICDeviceInfo *pDev, APICState *pApic); /* */
412 static PVMCPUSET apic_get_delivery_bitmask(APICDeviceInfo *pDev, uint8_t dest, uint8_t dest_mode, PVMCPUSET pDstSet);
413 static int apic_deliver(APICDeviceInfo *pDev, APICState *pApic,
419 static uint32_t apic_get_current_count(APICDeviceInfo const *pDev, APICState const *pApic);
420 static void apicTimerSetInitialCount(APICDeviceInfo *pDev, APICState *pApic, uint32_t initial_count);
421 static void apicTimerSetLvt(APICDeviceInfo *pDev, APICState *pApic, uint32_t fNew);
422 static void apicSendInitIpi(APICDeviceInfo *pDe
[all...] |
Completed in 46 milliseconds