Searched refs:mmio_cap_lookup_ (Results 1 - 1 of 1) sorted by last modified time

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.simple.c104 static seL4_CPtr mmio_cap_lookup_/*? mmio_key ?*/[] = { variable
234 return seL4_CNode_Copy(path->root, path->capPtr, path->capDepth, /*? self_cnode ?*/, mmio_cap_lookup_/*? mmio_key ?*/[((uintptr_t)paddr - (uintptr_t)/*? paddr ?*/) >> /*? bits ?*/], CONFIG_WORD_SIZE, seL4_AllRights);
258 return mmio_cap_lookup_/*? mmio_key ?*/[n - /*? 2 + len(untyped_obj_list) + mmio_counter[0] ?*/];

Completed in 32 milliseconds