Searched refs:VLSAPIC_XTP (Results 1 – 3 of 3) sorted by relevance
32 VLSAPIC_XTP(v) = val; in vlsapic_write_xtp()110 result = VLSAPIC_XTP(v); in lsapic_read()
450 #define VLSAPIC_XTP(_v) VMX(_v, xtp) macro
2071 VLSAPIC_XTP(vcpu) = 0x80; /* disabled */ in init_vcpu()