wbinvd

Declaration

void wbinvd(void);