Searched refs:get_size (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Ddataport_caps.h35 dataport_get_size_fn get_size; member in struct:__anon1
66 return d->get_size();
/seL4-camkes-master/projects/global-components/templates/
H A DseL4SharedDataWithCaps.template.c158 .get_size = /*? me.interface.name ?*/_get_size,
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DAllocator.py518 return not (before.paddr < after.paddr and ((before.paddr + before.get_size()) < (after.paddr + after.get_size())))
525 u.paddr, u.paddr + u.get_size(),
526 overlap.paddr, overlap.paddr + overlap.get_size())
642 (paddr + unfun.get_size()) <= (ut.paddr + ut.get_size()):
H A DObject.py135 def get_size(self): member in class:Object
399 assert(self.remaining() >= child.get_size())
404 self.watermark += child.get_size()
409 return self.get_size() - self.watermark

Completed in 39 milliseconds