如何检查是否设置了位55 MSR寄存器

Question

这是检查MSR寄存器的第55位是否设置的正确C代码？

uint32_t l, h;

    rdmsr(IA32_VMX_BASIC, l, h);

    if((h>>23)&& 1)
    {
        pr_info("BIT SET\n");

    }
    else
    {
        pr_info("NOT SET\n"); 
    }