initialize_tlbstate_and_flush
extern void initialize_tlbstate_and_flush(void);
initialize_tlbstate_and_flush();