Searched defs:invoke_dispatcher_dump_ptables (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/include/barrelfish/
H A Dinvocations.h440 static inline errval_t invoke_dispatcher_dump_ptables(struct capref dispcap, lvaddr_t vaddr) function
/barrelfish-master/include/arch/x86_32/barrelfish/
H A Dinvocations_arch.h560 static inline errval_t invoke_dispatcher_dump_ptables(struct capref dispcap) function

Completed in 26 milliseconds