Searched refs:mapping_handler_t (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/arch/x86_32/
H A Dpage_mappings_arch.c243 typedef errval_t (*mapping_handler_t)(struct capability *dest_cap, typedef
251 static mapping_handler_t handler[ObjType_Num] = {
270 mapping_handler_t handler_func = handler[dest_cap->type];
/barrelfish-master/kernel/arch/x86_64/
H A Dpage_mappings_arch.c516 typedef errval_t (*mapping_handler_t)(struct capability *dest_cap, typedef
524 static mapping_handler_t handler[ObjType_Num] = {
550 mapping_handler_t handler_func = handler[dest_cap->type];
675 mapping_handler_t handler_func = handler[dest_cap->type];
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c627 typedef errval_t (*mapping_handler_t)(struct capability *dest_cap, typedef
635 static mapping_handler_t handler[ObjType_Num] = {
652 mapping_handler_t handler_func = handler[dest_cap->type];

Completed in 104 milliseconds