Implemented support for "give_away" transfers in capops_copy.
[barrelfish] / usr / monitor / capops / internal.h
1
2 void find_cap__rx_handler(struct intermon_binding *b, intermon_caprep_t caprep,
3                           genvaddr_t st);
4 void find_cap_result__rx_handler(struct intermon_binding *b, errval_t result,
5                                  genvaddr_t st);
6 void find_descendants__rx_handler(struct intermon_binding *b,
7                                   intermon_caprep_t caprep, genvaddr_t st);
8 void find_descendants_result__rx_handler(struct intermon_binding *b,
9                                          errval_t status, genvaddr_t st);
10 void owner_updated__rx_handler(struct intermon_binding *b, genvaddr_t st);
11 void update_owner__rx_handler(struct intermon_binding *b,
12                               intermon_caprep_t caprep, genvaddr_t st);
13 void recv_copy_result__rx_handler(struct intermon_binding *b, errval_t status,
14                                   capaddr_t capaddr, uint8_t vbits,
15                                   cslot_t slot, genvaddr_t st);
16 void recv_copy__rx_handler(struct intermon_binding *b,
17                            intermon_caprep_t caprep, uint8_t owner_relations,
18                            genvaddr_t st);
19 void request_copy__rx_handler(struct intermon_binding *b, coreid_t dest,
20                               intermon_caprep_t caprep, genvaddr_t st);
21 void delete_remote__rx_handler(struct intermon_binding *b,
22                                intermon_caprep_t caprep, genvaddr_t st);
23 void delete_remote_result__rx_handler(struct intermon_binding *b,
24                                       errval_t status, genvaddr_t st);
25 void move_request__rx_handler(struct intermon_binding *b,
26                               intermon_caprep_t caprep, uint8_t relations,
27                               genvaddr_t st);
28 void move_result__rx_handler(struct intermon_binding *b, errval_t status,
29                              genvaddr_t st);
30 void request_retype__rx_handler(struct intermon_binding *b,
31                                 intermon_caprep_t srcrep, int desttype,
32                                 uint32_t destbits, genvaddr_t st);
33 void retype_response__rx_handler(struct intermon_binding *b, errval_t status,
34                                  genvaddr_t st);
35 void request_revoke__rx_handler(struct intermon_binding *b,
36                                 intermon_caprep_t caprep, genvaddr_t st);
37 void revoke_result__rx_handler(struct intermon_binding *b, errval_t status,
38                                genvaddr_t st);