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

/barrelfish-master/usr/monitor/
H A Dmonitor_server.c38 struct multiboot_cap_state { struct
53 struct multiboot_cap_state *ms = (struct multiboot_cap_state*)e;
78 struct multiboot_cap_state *ms =
79 malloc(sizeof(struct multiboot_cap_state));

Completed in 78 milliseconds