GET_TAGGED_ADDR_CTRL  124 kernel/sys.c   #ifndef GET_TAGGED_ADDR_CTRL
GET_TAGGED_ADDR_CTRL 2487 kernel/sys.c   		error = GET_TAGGED_ADDR_CTRL();