Searched refs:USER_GATEWAY_PAGE (Results 1 – 4 of 4) sorted by relevance
11 #define USER_GATEWAY_PAGE 0x6ffff000 macro31 __builtin_dcache_flush((void *)USER_GATEWAY_PAGE + USER_GATEWAY_TLS + in set_gateway_tls()
39 MOVT D1Ar1,#HI(USER_GATEWAY_PAGE + USER_GATEWAY_TLS)40 ADD D1Ar1,D1Ar1,#LO(USER_GATEWAY_PAGE + USER_GATEWAY_TLS)
425 get_tls_start += USER_GATEWAY_PAGE; in _restart_critical_section()430 get_tls_end += USER_GATEWAY_PAGE; in _restart_critical_section()450 cmpxchg_start += USER_GATEWAY_PAGE; in _restart_critical_section()455 cmpxchg_end += USER_GATEWAY_PAGE; in _restart_critical_section()
68 unsigned long address = USER_GATEWAY_PAGE; in user_gateway_init()