sys_change_vcore() (XCC)
[akaros.git] / tests / kern_tests.h