Searched refs:desc_table_read (Results 1 – 1 of 1) sorted by relevance
| /freebsd-14.2/usr.sbin/bhyve/amd64/ |
| H A D | task_switch.c | 232 desc_table_read(struct vcpu *vcpu, struct vm_guest_paging *paging, in desc_table_read() function
273 error = desc_table_read(vcpu, &sup_paging, sel, desc, faultptr); in read_tss_descriptor()
371 error = desc_table_read(vcpu, &sup_paging, sel, &usd, faultptr); in validate_seg_desc()
|