Improved naming & cleanup in copy capop.
[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(struct intermon_binding *b, errval_t status,
14                           capaddr_t capaddr, uint8_t vbits, cslot_t slot,
15                           genvaddr_t st);
16 void recv_copy__rx(struct intermon_binding *b, intermon_caprep_t caprep,
17                    uint8_t owner_relations, genvaddr_t st);
18 void request_copy__rx(struct intermon_binding *b, coreid_t dest,
19                       intermon_caprep_t caprep, genvaddr_t st);
20 void delete_remote__rx_handler(struct intermon_binding *b,
21                                intermon_caprep_t caprep, genvaddr_t st);
22 void delete_remote_result__rx_handler(struct intermon_binding *b,
23                                       errval_t status, genvaddr_t st);
24 void move_request__rx_handler(struct intermon_binding *b,
25                               intermon_caprep_t caprep, uint8_t relations,
26                               genvaddr_t st);
27 void move_result__rx_handler(struct intermon_binding *b, errval_t status,
28                              genvaddr_t st);
29 void request_retype__rx_handler(struct intermon_binding *b,
30                                 intermon_caprep_t srcrep, int desttype,
31                                 uint32_t destbits, genvaddr_t st);
32 void retype_response__rx_handler(struct intermon_binding *b, errval_t status,
33                                  genvaddr_t st);
34 void request_revoke__rx_handler(struct intermon_binding *b,
35                                 intermon_caprep_t caprep, genvaddr_t st);
36 void revoke_result__rx_handler(struct intermon_binding *b, errval_t status,
37                                genvaddr_t st);