Searched refs:vgetcpu_mode (Results 1 – 4 of 4) sorted by relevance
197 .vgetcpu_mode : AT(VLOAD(.vgetcpu_mode)) {198 *(.vgetcpu_mode)200 vgetcpu_mode = VVIRT(.vgetcpu_mode); symbol
15 VEXTERN(vgetcpu_mode)
37 extern int vgetcpu_mode;
881 vgetcpu_mode = VGETCPU_RDTSCP; in vgetcpu_set_mode()883 vgetcpu_mode = VGETCPU_LSL; in vgetcpu_set_mode()