Searched defs:kbs (Results 1 – 3 of 3) sorted by relevance
309 unsigned long *kbs = (void *) current + IA64_RBS_OFFSET; in set_rse_reg() local382 unsigned long *kbs = (void *) current + IA64_RBS_OFFSET; in get_rse_reg() local
315 struct kbsentry *kbs; in do_kdgkb_ioctl() local
300 unsigned long *kbs = (void *) current_vcpu + VMM_RBS_OFFSET; in get_rse_reg() local342 unsigned long *kbs = (void *) current_vcpu + VMM_RBS_OFFSET; in set_rse_reg() local