/*******************************************************************************/
/* COS2000 - Compatible Operating System - LGPL v3 - Hordé Nicolas             */
/*                                                                             */
bool cansetflag (u32 flag);

void cpuid(u32 op, u32 *eax, u32 *ebx,u32 *ecx, u32 *edx);

void dump_regs(void);