get_device_page_bits (reference) in projects: seL4-master

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

/seL4-master/tools/hardware/
A D	config.py	`33 def get_device_page_bits(self) -> int: member in Config 96 def get_device_page_bits(self) -> int: member in RISCVConfig`
/seL4-master/tools/hardware/utils/
A D	rule.py	`171 max_size = 1 << self.config.get_device_page_bits() 178 self.config.get_device_page_bits(), max_size, macro, user))`

Completed in 5 milliseconds