Home
last modified time | relevance | path

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

/seL4-master/tools/hardware/outputs/
A Dyaml.py61 dev_mem = hardware.utils.memory.get_addrspace_exclude(
/seL4-master/tools/hardware/utils/
A Dmemory.py96 def get_addrspace_exclude(regions: List[Region], config: Config): function

Completed in 5 milliseconds