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]94 ldr x1, [x0, #CONSOLE_T_CBMC_SIZE]
12 #define CONSOLE_T_CBMC_SIZE CONSOLE_T_DRVDATA macro