On 21/07/19 16:03, Liran Alon wrote: > How would having a BUG_ON(!cached_vmcs12) on get_vmcs12() will cause false positive? > I don’t see any legit case it is called and return NULL. For example, vmx_read_l1_tsc_offset and vmx_write_l1_tsc_offset call it unconditionally, but then only use it if is_guest_mode(vcpu). Paolo
