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

/barrelfish-master/usr/monitor/
H A Dmonitor_server.c48 static void ms_multiboot_cap_request(struct monitor_binding *b, cslot_t slot);
54 ms_multiboot_cap_request(b, ms->slot);
58 static void ms_multiboot_cap_request(struct monitor_binding *b, cslot_t slot) function
979 .multiboot_cap_request = ms_multiboot_cap_request,

Completed in 80 milliseconds