Searched refs:read_gc0_ebase_64 (Results 1 – 2 of 2) sorted by relevance
2253 #define read_gc0_ebase_64() __read_64bit_gc0_register($15, 1) macro
52 return read_gc0_ebase_64(); in kvm_vz_read_gc0_ebase()