Searched refs:vtpr (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/arch/x86_64/ | ||
H A D | vmx_checks.c | 1247 uint32_t vtpr = *((uint32_t *)vtpr_addr); local 1248 assert((tpr_threshold & 0xF) <= ((vtpr >> 4) & 0xF)); |
Completed in 35 milliseconds