Searched refs:dispcap (Results 1 - 6 of 6) sorted by path
/barrelfish-master/include/arch/x86_32/barrelfish/ |
H A D | invocations_arch.h | 560 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 D | invocations.h | 440 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 D | syscall.c | 124 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 D | monitor.h | 184 errval_t rsrc_join(rsrcid_t id, struct capref dispcap,
|
/barrelfish-master/usr/monitor/ |
H A D | monitor_rpc_server.c | 91 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 D | resource_ctrl.c | 191 errval_t rsrc_join(rsrcid_t id, struct capref dispcap, argument 201 d->disp = dispcap;
|
Completed in 77 milliseconds