308 	CHECK_OFFSET(guest_ssp_tbl, 720);  in vmx_check_vmcs12_offsets()
402 	char *p = (char *)vmcs12 + offset;  in vmcs12_read_any()  local
406 		return *((natural_width *)p);  in vmcs12_read_any()
408 		return *((u16 *)p);  in vmcs12_read_any()
410 		return *((u32 *)p);  in vmcs12_read_any()
412 		return *((u64 *)p);  in vmcs12_read_any()
422 	char *p = (char *)vmcs12 + offset;  in vmcs12_write_any()  local
426 		*(u16 *)p = field_value;  in vmcs12_write_any()
429 		*(u32 *)p = field_value;  in vmcs12_write_any()
432 		*(u64 *)p = field_value;  in vmcs12_write_any()
435 		*(natural_width *)p = field_value;  in vmcs12_write_any()