Searched refs:dispcap (Results 1 - 6 of 6) sorted by path

/barrelfish-master/include/arch/x86_32/barrelfish/
H A Dinvocations_arch.h560 static inline errval_t invoke_dispatcher_dump_ptables(struct capref dispcap) argument
562 uint8_t invoke_bits = get_cap_valid_bits(dispcap);
563 capaddr_t invoke_cptr = get_cap_addr(dispcap) >> (CPTR_BITS - invoke_bits);
569 static inline errval_t invoke_dispatcher_dump_capabilities(struct capref dispcap) argument
571 uint8_t invoke_bits = get_cap_valid_bits(dispcap);
572 capaddr_t invoke_cptr = get_cap_addr(dispcap) >> (CPTR_BITS - invoke_bits);
587 static inline errval_t invoke_perfmon_setup(struct capref dispcap, argument
591 uint8_t invoke_bits = get_cap_valid_bits(dispcap);
592 capaddr_t invoke_cptr = get_cap_addr(dispcap) >> (CPTR_BITS - invoke_bits);
598 static inline errval_t invoke_perfmon_write(struct capref dispcap, argument
[all...]
/barrelfish-master/include/barrelfish/
H A Dinvocations.h440 static inline errval_t invoke_dispatcher_dump_ptables(struct capref dispcap, lvaddr_t vaddr) argument
442 return cap_invoke2(dispcap, DispatcherCmd_DumpPTables, vaddr).error;
445 static inline errval_t invoke_dispatcher_dump_capabilities(struct capref dispcap) argument
447 return cap_invoke1(dispcap, DispatcherCmd_DumpCapabilities).error;
/barrelfish-master/kernel/
H A Dsyscall.c124 struct capability *dispcap = &dispcte->cap; local
125 if (dispcap->type != ObjType_Frame) {
128 if (get_size(dispcap) < DISPATCHER_FRAME_SIZE) {
133 lpaddr = gen_phys_to_local_phys(get_address(dispcap));
/barrelfish-master/usr/monitor/include/
H A Dmonitor.h184 errval_t rsrc_join(rsrcid_t id, struct capref dispcap,
/barrelfish-master/usr/monitor/
H A Dmonitor_rpc_server.c91 struct capref dispcap, const char *str)
100 err = rsrc_join(id, dispcap, b);
125 rsrcid_t id, struct capref dispcap)
129 err = rsrc_join(id, dispcap, b);
90 rsrc_manifest(struct monitor_blocking_binding *b, struct capref dispcap, const char *str) argument
124 rpc_rsrc_join(struct monitor_blocking_binding *b, rsrcid_t id, struct capref dispcap) argument
H A Dresource_ctrl.c191 errval_t rsrc_join(rsrcid_t id, struct capref dispcap, argument
201 d->disp = dispcap;

Completed in 77 milliseconds