Symbol: __vcpu_read_sys_reg