EXIT_REASON.bus_lock_detected may or may not be set when exit reason == EXIT_REASON_BUS_LOCK. Intel will update ISE or SDM to state it.
Maybe we can do below in handle_bus_lock_vmexit handler:
if (!to_vmx(vcpu)->exit_reason.bus_lock_detected)
to_vmx(vcpu)->exit_reason.bus_lock_detected = 1;
But is manually changing the hardware reported value for software purpose a good thing?