Searched refs:check_guest_seg_access_rsvd (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/kernel/arch/x86_64/ | ||
| H A D | vmx_checks.c | 689 static void check_guest_seg_access_rsvd(void) function 778 check_guest_seg_access_rsvd(); |
Completed in 56 milliseconds