reset_sys_reg_descs 2799 arch/arm64/kvm/sys_regs.c 	reset_sys_reg_descs(vcpu, sys_reg_descs, ARRAY_SIZE(sys_reg_descs), bmap);
reset_sys_reg_descs 2802 arch/arm64/kvm/sys_regs.c 	reset_sys_reg_descs(vcpu, table, num, bmap);