Searched defs:kbs (Results 1 – 2 of 2) sorted by relevance
312 unsigned long *kbs = (void *) current + IA64_RBS_OFFSET; in set_rse_reg() local385 unsigned long *kbs = (void *) current + IA64_RBS_OFFSET; in get_rse_reg() local
2045 static char *vt_kdskbsent(char *kbs, unsigned char cur) in vt_kdskbsent()2064 char *kbs; in vt_do_kdgkb_ioctl() local