From a583b31095a58c6f96cfd522b9ce4267cf4026cc Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Fri, 27 Apr 2018 05:05:54 +0100 Subject: [PATCH] clarify --- isa_conflict_resolution/ioctl.mdwn | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/isa_conflict_resolution/ioctl.mdwn b/isa_conflict_resolution/ioctl.mdwn index a48e5f63e..22c693c7b 100644 --- a/isa_conflict_resolution/ioctl.mdwn +++ b/isa_conflict_resolution/ioctl.mdwn @@ -156,7 +156,8 @@ not quite I think. It is more like raise Exception("No such interface") handleId = new_unused_handle_id() - cpu_open_handles[handleId] = (interface, CurrentVirtualMemoryAddressSpace) + cpu_open_handles[handleId] = (interface, + CurrentVirtualMemoryAddressSpace) cookie = A_init(data) # Here device takes over @@ -190,7 +191,10 @@ not quite I think. It is more like (interface, VMA) = intf_VMA if VMA != CurrentVirtualMemoryAddressSpace: - raise Exception("No such interface") #Disclosing that the interface exists in different address is security hole + raise Exception("No such interface") # Disclosing that the + # interface exists in + # different address is + # security hole assert(interface != NIL) ctl0 = interface["ctl0"] -- 2.30.2