Skip to content

Commit

Permalink
trivial: python style fix
Browse files Browse the repository at this point in the history
Signed-off-by: Gerwin Klein <[email protected]>
  • Loading branch information
lsf37 committed Jun 17, 2024
1 parent a0447cb commit f4f591f
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions camkes/runner/Context.py
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,7 @@ def new_context(entity, assembly, render_state, state_key, outfile_name,
# you see `set y = alloc('foo', bar, moo)` in template code, think:
# set x = alloc_obj('foo_obj', bar)
# set y = alloc_cap('foo_cap', x, moo)
'alloc': None if cap_space is None else \
'alloc': None if cap_space is None else
(lambda name, type, label=entity.label(), **kwargs:
alloc_cap((entity.label(), cap_space), cap_space, name,
alloc_obj((entity.label(), obj_space), obj_space, '%s_%s' %
Expand All @@ -94,14 +94,14 @@ def new_context(entity, assembly, render_state, state_key, outfile_name,
# same shared variable. The local name (lname) will later be used by us
# to locate the relevant ELF frame(s) to remap. Note that we assume
# address spaces and CSpaces are 1-to-1.
'register_shared_variable': None if cap_space is None else \
'register_shared_variable': None if cap_space is None else
(lambda global_name, symbol, size, frame_size=None, paddr=None,
perm='RWX', cached=True, label=entity.parent.label(), with_mapping_caps=None:
register_shared_variable(
addr_space, obj_space, global_name, symbol, size, cap_space,
frame_size, paddr, perm, cached, label, with_mapping_caps)),

'get_shared_variable_backing_frames': None if cap_space is None else \
'get_shared_variable_backing_frames': None if cap_space is None else
(lambda global_name, size, frame_size=None, label=entity.parent.label():
get_shared_variable_backing_frames(
obj_space, global_name, size, frame_size, label)),
Expand Down

0 comments on commit f4f591f

Please sign in to comment.