Home
last modified time | relevance | path

Searched refs:HandleLookupIPCBuffer (Results 1 – 1 of 1) sorted by relevance

/Renode-v1.15.3-c57714d/tools/sel4_extensions/
DseL4Extensions.cs249 cpu.AddHook(lookupIPCBufferAddress, HandleLookupIPCBuffer); in HandleUnknownSyscall()
344 private void HandleLookupIPCBuffer(ICpuSupportingGdb cpu, ulong address) in HandleLookupIPCBuffer() method in Antmicro.Renode.Debug.SeL4DebugHelper
347 cpu.RemoveHook(address, HandleLookupIPCBuffer); in HandleLookupIPCBuffer()