Searched refs:read_gc0_badinstrp (Results 1 – 2 of 2) sorted by relevance
2240 #define read_gc0_badinstrp() __read_32bit_gc0_register($8, 2) macro
1999 *v = read_gc0_badinstrp(); in kvm_vz_get_one_reg()
Completed in 19 milliseconds