exec.h File Reference

kernel execution and miscellany More...

Functions
void	reboot (void)
	Reboots the system. More...
void	halt (void)
	Spin forever.
void	execute (lvaddr_t entry)
	Go to user-space at entry point 'entry'. More...
void	resume (arch_registers_state_t *state)
	Resume the given user-space snapshot. More...
void	wait_for_interrupt (void)
	Halt processor until an interrupt arrives. More...

Detailed Description

kernel execution and miscellany

Function Documentation

void execute

(

lvaddr_t

entry

)

Go to user-space at entry point 'entry'.

This function goes to user-space and starts executing the program at its entry point at virtual address 'entry'.

Parameters

entry

Entry point address of program to execute.

void reboot

(

void

)

Reboots the system.

This function tries hard not to return.

void resume

(

arch_registers_state_t *

state

)

Resume the given user-space snapshot.

This function resumes user-space execution by restoring the CPU registers with the ones given in the array, pointed to by 'regs'.

void wait_for_interrupt

(

void

)

Halt processor until an interrupt arrives.

For use in the idle loop when nothing is runnable. This function puts the processor into system mode and enable interrupts on entry and makes no use of the stack.

For use in the idle loop when nothing is runnable.