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

/barrelfish-master/usr/monitor/
H A Dmonitor_server.c896 struct capability vroot_cap; local
897 err = monitor_cap_identify(vroot, &vroot_cap);
902 if (vroot_cap.type != ObjType_VNode_x86_64_pml4) { /* Check type */
929 get_address(&vroot_cap),

Completed in 80 milliseconds