From: Luke Kenneth Casson Leighton Date: Fri, 27 Apr 2018 04:05:54 +0000 (+0100) Subject: clarify X-Git-Tag: convert-csv-opcode-to-binary~5446 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a583b31095a58c6f96cfd522b9ce4267cf4026cc;p=libreriscv.git clarify --- 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"]