cpu/instructions/config/set_tdt.txt


1
2
3
4
5
6
7
8
9
10
11

Number of parameters: 2

Usage:
	set_tdt <ptr> <size>

Effect:
	Sets the tdt to start at <ptr> and be <size> bytes long
	<ptr> is the physical address

Exceptions:
	None