Searched refs:ReadMessageFromMailbox (Results 1 – 1 of 1) sorted by relevance
| /Renode-Infrastructure-v1.15.3-29f510e/src/Emulator/Peripherals/Peripherals/Miscellaneous/ | ||
| D | ZynqMP_PlatformManagementUnit.cs | 133 IpiMessage message = ReadMessageFromMailbox(sourceChannelId); in ProcessSingleInterruptOnChannel() |