Home
last modified time | relevance | path

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

/l4re-core-master/ned/server/src/
A Dapp_model.cc93 l4_addr_t pg_addr = l4_trunc_page(addr); in local_detach_ds() local
94 chksys(rm->detach(pg_addr, 0), "detach temporary VMA"); in local_detach_ds()
/l4re-core-master/l4re_kernel/server/src/
A Dloader.cc137 l4_addr_t pg_addr = l4_trunc_page(addr); in local_detach_ds() local
138 chksys(_rm->detach(pg_addr, 0), "ELF loader: detach temporary VMA"); in local_detach_ds()

Completed in 3 milliseconds