Searched refs:l4_touch_ro (Results 1 – 4 of 4) sorted by relevance
68 l4_touch_ro(const void *addr, unsigned size) L4_NOTHROW;94 l4_touch_ro(const void *addr, unsigned size) L4_NOTHROW in l4_touch_ro() function
58 l4_touch_ro(const void*addr, unsigned size) L4_NOTHROW in l4_touch_ro() function
59 l4_touch_ro(const void*addr, unsigned size) L4_NOTHROW in l4_touch_ro() function
88 l4_touch_ro(mbi,10); in init_stage1()
Completed in 7 milliseconds