bits 64
    
    invlpgb
    tlbsync