vlapic_hw_disabled
return (!vlapic_hw_disabled(vlapic) && !vlapic_sw_disabled(vlapic));
if (vlapic_x2mode(vlapic) || vlapic_hw_disabled(vlapic)) {
if (vlapic_x2mode(vlapic) || vlapic_hw_disabled(vlapic)) {
bool vlapic_hw_disabled(const struct vlapic *);
if (vlapic_hw_disabled(vm_lapic(vm, vcpuid))) {