core.h File Reference

#include <type.h>

Go to the source code of this file.

Functions
uint8_t	get_current_core_cpuid ()

Function Documentation

get_current_core_cpuid()

uint8_t get_current_core_cpuid

(

)

Referenced by __attribute__(), __attribute__(), setup_timer_interrupt(), vxInitializeAPICTimer(), vxStartScheduler(), and vxThreadExit().