NOVA User-Level Environment  Version testbox/changed-memory-timing-317-g320d8b5
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Functions
boot_linux.h File Reference

Functions

void jmp_kernel (unsigned cs, unsigned stack) __attribute__((noreturn))

Function Documentation

void jmp_kernel ( unsigned  cs,
unsigned  stack 
)