Lines Matching refs:dispcap
560 static inline errval_t invoke_dispatcher_dump_ptables(struct capref dispcap)
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)
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,
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,
601 uint8_t invoke_bits = get_cap_valid_bits(dispcap);
602 capaddr_t invoke_cptr = get_cap_addr(dispcap) >> (CPTR_BITS - invoke_bits);