Home
last modified time | relevance | path

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

/Renode-v1.15.3-c57714d/tools/sel4_extensions/
DseL4Extensions.cs330 cpu.AddHook(callingConvention.ReturnAddress, HandlePostLookupCapAndSlotAddress); in HandleLookupCapAndSlotAddress()
333 private void HandlePostLookupCapAndSlotAddress(ICpuSupportingGdb cpu, ulong address) in HandlePostLookupCapAndSlotAddress() method in Antmicro.Renode.Debug.SeL4DebugHelper