Rev 3824 | Rev 3855 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
no_bat:
#endif
tlbia
tlbsync
# start the kernel
#
# pc = KERNEL_START_ADDR