#include "cpu.h"

#include "print.h"

extern int sse_init (void);
extern int fpu_init (void);

void init_registers (void) {
    if (!sse_init()) {
        debugk("Loaded SIMD");
    } else {
        errork("SIMD not supported");
    }

    if (!fpu_init()) {
        debugk("Loaded FPU");
    } else {
        errork("FPU not supported");
    }
}