Lines Matching defs:bit
96 /* vmxon requires a 64bit memory address, so perform a
97 * cast here to guarantee this on 32-bit platforms */
201 * and if not each bit set indicates a bit we had
1009 clear_bit(word_t *bitmap, word_t bit)
1011 int index = bit / (sizeof(word_t) * 8);
1012 int offset = bit % (sizeof(word_t) * 8);
1166 /* qualification is host width, reason is defined as being 32 bit */
1203 * a 1 bit in the cr0 mask) as being owned by the host. If we got here then the previous check
1204 * on cr0_mask meant that the VCPU owner did not claim ownership of the the task switch bit
1228 /* First unset the task switch bit in cr0 */
1234 * is writing any bit such that it is different to the shadow, but only considering
1245 /* Easy case. Just remove the task switch bit out of cr0 */
1251 /* First unset the task switch bit in cr0 */
1257 * is writing any bit such that it is different to the shadow, but only considering
1408 /* we need to claim ownership of the task switch bit so that any modifications
1415 * in the cr0 read shadow. If the VCPU owner is also masking this bit then