Home
last modified time | relevance | path

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

/Renode-v1.15.3-c57714d/tools/sel4_extensions/
DseL4Extensions.cs248 cpu.AddHook(lookupCapAndSlotAddress, HandleLookupCapAndSlotAddress); in HandleUnknownSyscall()
326 private void HandleLookupCapAndSlotAddress(ICpuSupportingGdb cpu, ulong address) in HandleLookupCapAndSlotAddress() method in Antmicro.Renode.Debug.SeL4DebugHelper
329 cpu.RemoveHook(address, HandleLookupCapAndSlotAddress); in HandleLookupCapAndSlotAddress()