Searched refs:status_old (Results 1 – 1 of 1) sorted by relevance
1362 uint16_t status_old = vmcs_read(VMCS_GUEST_INTR_STATUS); in vmx_inject_vlapic() local1363 uint16_t status_new = (status_old & 0xff00) | vector; in vmx_inject_vlapic()1370 if (status_new > status_old) { in vmx_inject_vlapic()