firmware/src/cpu/x86/cpu.c

#include <inc/cpu.h>


void cpuInit(void)
{
    /* nothing to do for x86 */
}

uint64_t cpuIntsOff(void)
{
    /* no such luck */

    return 0;
}

uint64_t cpuIntsOn(void)
{
    /* no such luck */

    return 0;
}

void cpuIntsRestore(uint64_t state)
{
    /* no such luck */

}