Accessing Lightfoot registers from C

The C compiler provides two builtin functions that allow you to read and write Lightfoot registers directly from within C functions.

SetLightfootRegister

Write the specified value to the specified register
    SetLightfootRegister(0xFF, 0x48);

GetLightfootRegister

Read the specified register
    GetLightfootRegister(0x48);