bhyve guests: what clock source to use?

Hi all,

As part of debugging a problem I'm having, I'd like to understand:

What clock source should bhyve guests use?  tsc? hpet? acpi_pm?  What are pros/cons of the choices?  Does it depend on the guest OS? (for me FreeBSD and Ubuntu)  Should it match the host?

Thanks,

Sean