Searched refs:CONSOLE_T_CBMC_SIZE (Results 1 – 2 of 2) sorted by relevance
40 str w2, [x1, #CONSOLE_T_CBMC_SIZE]56 ldr w2, [x1, #CONSOLE_T_CBMC_SIZE]95 ldr x1, [x0, #CONSOLE_T_CBMC_SIZE]
13 #define CONSOLE_T_CBMC_SIZE (CONSOLE_T_DRVDATA + REGSZ) macro