#pragma once void amd64_fpu_init(void);